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

# Coq Proofs
This is just a collection of different definitions proved in Coq for fun.