Verified Efficient Implementation of Gabow's Strongly Connected Component Algorithm

All sources: distrib.tgz (Unpack and see Gabow_Formalization/README for further instructions)