2011-04-11 | Adam Megacz | add FullSubcategoryInclusionFunctor | blob | commitdiff |
2011-04-10 | Adam Megacz | add natural-iso form of RestrictToImage_splits | blob | commitdiff | diff to current |
2011-04-09 | Adam Megacz | add RestrictDomain | blob | commitdiff | diff to current |
2011-04-06 | Adam Megacz | uncomment FullImage development | blob | commitdiff | diff to current |
2011-04-06 | Adam Megacz | add Notations.v | blob | commitdiff | diff to current |
2011-04-05 | Adam Megacz | formatting fixes | blob | commitdiff | diff to current |
2011-04-04 | Adam Megacz | major revision: separate Subcategory into {Wide,Full... | blob | commitdiff | diff to current |
2011-04-03 | Adam Megacz | major revision: MonoidalCat is now a subclass of PreMon... | blob | commitdiff | diff to current |
2011-03-29 | Adam Megacz | finish the proof of ffc_functor_weakly_monic | blob | commitdiff | diff to current |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library | blob | commitdiff | diff to current |