2011-04-06 | Adam Megacz | add Notations.v | commit | commitdiff |
2011-04-06 | Adam Megacz | remove reliance on General.v | commit | commitdiff |
2011-04-03 | Adam Megacz | major revision: MonoidalCat is now a subclass of PreMon... | commit | commitdiff |
2011-03-25 | Adam Megacz | update imports in EquivalentCategories | commit | commitdiff |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library | commit | commitdiff |