]> matita.cs.unibo.it Git - helm.git/history - matita/contribs/LOGIC/CLE
...
[helm.git] / matita / contribs / LOGIC / CLE /
2007-07-24 Ferruccio GuidiNew developement LOGIC about the cut elimination of...