hub.darcs.net :: fritjof -> coq -> files

A modified version of Coq that contains an extraction backend for the functional hardware description language CLaSH.