projects / coq-hetmet.git / history
| 2011-03-29 | Adam Megacz | lots of cleanup | blob | commitdiff |
| 2011-03-27 | Adam Megacz | almost finished with main theorem | blob | commitdiff | diff to current |
| 2011-03-27 | Adam Megacz | checkpoint | blob | commitdiff | diff to current |
| 2011-03-27 | Adam Megacz | use WeakFunctorCategory to prove GArrow/Reification... | blob | commitdiff | diff to current |
| 2011-03-26 | Adam Megacz | fix {Reification,GeneralizedArrow}Category | blob | commitdiff | diff to current |
| 2011-03-26 | Adam Megacz | re-arrange NaturalDeduction | blob | commitdiff | diff to current |
| 2011-03-21 | Adam Megacz | add HaskXXXXCategory, generalized arrows, and reifications | blob | commitdiff | diff to current |