fix Freyd Categories
[coq-categories.git] / src /
2011-03-25 Adam Megaczfix Freyd Categories
2011-03-25 Adam Megaczfix naturality conditions on braided and diagonal categ...
2011-03-25 Adam Megaczbase CartesianCat on MonoidalCat, not PreMonoidalCat
2011-03-25 Adam Megaczupdate imports in EquivalentCategories
2011-03-25 Adam Megaczremove CategoryOfCategories, which isnt ready yet
2011-03-22 Adam Megaczmake the codomain of the FreydCategory functor a parame...
2011-03-21 Adam Megaczadd formalization of Arrows and Freyd Categories
2011-03-21 Adam Megaczrename General/Preamble to avoid conflict with ghc...
2011-03-11 Adam Megaczinitial checkin of coq-categories library