]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_content/cicNotationUtil.ml
* bump standards-version, no changes needed
[helm.git] / helm / software / components / acic_content / cicNotationUtil.ml
2007-10-26 Claudio Sacerdoti... Wildcard patterns implemented in case analysis. The...
2006-10-13 Claudio Sacerdoti... New content level representations for LetRec, Inductive...
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/