]>
2004-02-11 | Stefano Zacchiroli | ported to helm registry | blob | commitdiff | raw |
2004-01-22 | Andrea Asperti | Added all transformations for sequents. | blob | commitdiff | raw | diff to current |
2003-07-16 | Andrea Asperti | Several changes (the beginning of a new era???) | blob | commitdiff | raw | diff to current |