2011-04-01 | Adam Megacz | remove unproven step1_lemma (it has a proof now) | blob | commitdiff |
2011-03-29 | Adam Megacz | lots of cleanup | blob | commitdiff | diff to current |
2011-03-29 | Adam Megacz | reorganize flattening code | blob | commitdiff | diff to current |
2011-03-28 | Adam Megacz | ReificationsIsomorphicToGeneralizedArrows: use EqDep | blob | commitdiff | diff to current |
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 |