2011-04-06 | Adam Megacz | add Notations.v | blob | commitdiff |
2011-04-06 | Adam Megacz | remove reliance on General.v | blob | commitdiff | diff to current |
2011-04-05 | Adam Megacz | flip around the pentagon to the opposite of Mac Lane... | blob | commitdiff | diff to current |
2011-04-05 | Adam Megacz | add proof of MacLane_ex_VII_1_1 | blob | commitdiff | diff to current |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library | blob | commitdiff | diff to current |