]>
2010-03-23 | Andrea Asperti | Keeping only lift_aux e subst_aux (renamed to lift... | blob | commitdiff | raw |
2010-03-17 | Andrea Asperti | qualche caso del lemma 5.2.11 | blob | commitdiff | raw | diff to current |
2010-03-17 | Andrea Asperti | Splitted gpts in two files. | blob | commitdiff | raw | diff to current |
2010-03-12 | Andrea Asperti | First version of PTS | blob | commitdiff | raw | diff to current |