Syncing up the extractable and extracted semantics to current
A set of unix commands to do dependency graphs in Coq

A couple of tools for generating dependency graphs between coq lemmas.
Modified some proof files to work better.
Syncing up the extracted pieces text file