]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations/applyTransformation.ml
snapshot
[helm.git] / helm / ocaml / cic_transformations / applyTransformation.ml
2004-09-28 Luca Padovani* the transformations have been ported so to generate...
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel...
2004-01-22 Andrea AspertiAdded all transformations for sequents.