clean up demo code
[coq-hetmet.git] / src / WeakFunctorCategory.v
2011-03-29 Adam Megaczlots of cleanup
2011-03-28 Adam Megaczremove old code from WeakFunctorCategory
2011-03-27 Adam Megaczcheckpoint
2011-03-27 Adam Megaczuse WeakFunctorCategory to prove GArrow/Reification...