]>
2008-01-23 | Enrico Tassi | snapshot with more duality, almost where we left withou... | blob | commitdiff | raw |
2008-01-16 | Enrico Tassi | 3.27 ok | blob | commitdiff | raw | diff to current |
2008-01-16 | Enrico Tassi | yes! the lattice_(#) -> prelattice(<) -> lattice(<... | blob | commitdiff | raw | diff to current |
2008-01-14 | Enrico Tassi | fixed a pulback and proved 3.17 | blob | commitdiff | raw | diff to current |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | blob | commitdiff | raw | diff to current |
2007-12-03 | Enrico Tassi | 1 lemma left!!!! | blob | commitdiff | raw | diff to current |
2007-11-27 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2007-11-27 | Enrico Tassi | major reorganization (read cleanup) | blob | commitdiff | raw | diff to current |
2007-11-27 | Enrico Tassi | bir georganization, most of the structures done | blob | commitdiff | raw | diff to current |