]> matita.cs.unibo.it Git - helm.git/history - components/content_pres/cicClassify.ml
matitaGui: some missing cases during disambiguation now treated
[helm.git] / components / content_pres / cicClassify.ml
2007-01-24 Ferruccio GuidimatitaGui: some missing cases during disambiguation...
2007-01-10 Ferruccio Guidiattributes now in the proof status: commit 4
2006-12-29 Ferruccio Guidi- tactics: