]> matita.cs.unibo.it Git - helm.git/history - components/content_pres/proceduralConversion.mli
matitaGui: some missing cases during disambiguation now treated
[helm.git] / components / content_pres / proceduralConversion.mli
2007-01-24 Ferruccio GuidimatitaGui: some missing cases during disambiguation...
2007-01-12 Ferruccio Guidiprocedural: added fwd rewrite in arbitrary proofs ...