]>
2008-01-16 | Enrico Tassi | snapshot | 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 | more lemmas, til 3.26 | blob | commitdiff | raw | diff to current |
2008-01-14 | Enrico Tassi | first lemma | blob | commitdiff | raw | diff to current |