]>
2007-12-04 | Enrico Tassi | sandwitch theorem done | blob | commitdiff | raw |
2007-12-04 | Enrico Tassi | removed all the axioms!!! | blob | commitdiff | raw | diff to current |
2007-12-03 | Enrico Tassi | 1 lemma left!!!! | blob | commitdiff | raw | diff to current |
2007-12-01 | Enrico Tassi | carabinieri almost done | blob | commitdiff | raw | diff to current |
2007-11-30 | Enrico Tassi | carabinieri almost done | blob | commitdiff | raw | diff to current |
2007-11-30 | Enrico Tassi | cleanup of the eq_trans burdain | blob | commitdiff | raw | diff to current |
2007-11-30 | Enrico Tassi | 3.11 !!! | blob | commitdiff | raw | diff to current |
2007-11-28 | Enrico Tassi | more stuff | blob | commitdiff | raw | diff to current |
2007-11-28 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2007-11-27 | Enrico Tassi | bir georganization, most of the structures done | blob | commitdiff | raw | diff to current |
2007-11-26 | Enrico Tassi | reorganization of many files according to the new basic... | blob | commitdiff | raw | diff to current |