2011-04-05 | Adam Megacz | rename Retraction to RetractionOfCategories |
commit | commitdiff | tree |
2011-04-05 | Adam Megacz | formatting fixes |
commit | commitdiff | tree |
2011-04-05 | Adam Megacz | remove Arrows.v |
commit | commitdiff | tree |
2011-04-05 | Adam Megacz | fix miscompilation errors introduced by recent changes |
commit | commitdiff | tree |
2011-04-05 | Adam Megacz | flip around the pentagon to the opposite of Mac Lane... |
commit | commitdiff | tree |
2011-04-05 | Adam Megacz | add proof of MacLane_ex_VII_1_1 |
commit | commitdiff | tree |
2011-04-04 | Adam Megacz | major revision: separate Subcategory into {Wide,Full... |
commit | commitdiff | tree |
2011-04-03 | Adam Megacz | major revision: MonoidalCat is now a subclass of PreMonoidalCat |
commit | commitdiff | tree |
2011-04-03 | Adam Megacz | Makefile: insist on native-compiled Coq |
commit | commitdiff | tree |
2011-04-03 | Adam Megacz | add README |
commit | commitdiff | tree |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library |
commit | commitdiff | tree |