All.v: uncomment things
[coq-hetmet.git] / src / All.v
2011-04-10 Adam MegaczAll.v: uncomment things
2011-04-10 Adam Megaczfill in lots of missing proofs
2011-04-02 Adam Megaczupdate submodule pointer, account for changes upstream
2011-04-02 Adam Megaczsplit HaskProofCategory into two files
2011-03-29 Adam Megaczreorganize flattening code
2011-03-27 Adam Megaczuse WeakFunctorCategory to prove GArrow/Reification...
2011-03-25 Adam Megaczadd machinery to create merged Coq script GArrow.v