2011-03-27 | Adam Megacz | add SurjectiveEnrichment to SMME | blob | commitdiff |
2011-03-26 | Adam Megacz | fix typo | blob | commitdiff | diff to current |
2011-03-26 | Adam Megacz | add Retraction, SMME, make Enrichment a parameter | blob | commitdiff | diff to current |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library | blob | commitdiff | diff to current |