]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations/mpresentation.ml
snapshot
[helm.git] / helm / ocaml / cic_transformations / mpresentation.ml
2004-09-28 Luca Padovani* the transformations have been ported so to generate...
2003-07-29 Andrea AspertiAdded method AndInd.
2003-07-28 Claudio Sacerdoti... mathvariant=normal for all the proof ;-)
2003-07-23 Andrea Asperti- better handling of proof expansion/contraction
2003-07-18 Andrea AspertiCSC: tentative definition of the ocaml structure that...
2003-07-16 Claudio Sacerdoti... Xml.token is now namespace-aware. As a consequence...
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???)