]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_content/termAcicContent.ml
eta-contraction was made on the wrong term
[helm.git] / helm / software / components / acic_content / termAcicContent.ml
2008-12-05 Claudio Sacerdoti... Added new syntax Type[n] where n is a number.
2008-11-28 Enrico Tassinew disambiguator almost attached
2008-09-26 Enrico Tassiinclude statement better implemented:
2008-07-07 Enrico Tassisimplified coercDb implementation with additional info...
2008-06-17 Enrico Tassireordering of lexicon status partially avoided to make...
2008-06-13 Enrico Tassiprint the name not found in the env
2008-05-30 Enrico TassiCProp hierarchy is there!
2008-04-22 Enrico Tassioblivion ugraph everywhere outside the kernel
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is...
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-10-28 Claudio Sacerdoti... Pretty-printing of "match ... with" pattern syntax...
2007-10-26 Claudio Sacerdoti... Wildcard patterns implemented in case analysis. The...
2007-07-13 Claudio Sacerdoti... Dirty patch by Zack: natural numbers of Matita are...
2007-02-20 Ferruccio Guidiacic_procedural: changed module compilation order
2006-12-14 Claudio Sacerdoti... Huge commit:
2006-10-13 Claudio Sacerdoti... New content level representations for LetRec, Inductive...
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-07-10 Enrico Tassiimproved coercions support:
2006-02-21 Claudio Sacerdoti... Coercions are now hidden by default (in termAcicContent.ml)
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/