2011-03-27 | Adam Megacz | almost finished with main theorem | blob | commitdiff |
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 |