]> matita.cs.unibo.it Git - helm.git/history - matita/contribs/LOGIC/Lift
fix
[helm.git] / matita / contribs / LOGIC / Lift /
2007-11-12 Ferruccio Guidi- destruct tactic: automatic simplification in case...
2007-09-25 Ferruccio Guidibug fix in Track definition