]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic/deannotate.ml
parameter sintax added to axiom statement
[helm.git] / helm / software / components / cic / deannotate.ml
2008-04-22 Claudio Sacerdoti... Types for LetIns computed during parsing for Coq object...
2008-03-20 Claudio Sacerdoti... End of patch for computation of LetIn types. Now types...
2008-03-19 Claudio Sacerdoti... Bug: types and terms pushed into the context must be...
2008-03-13 Claudio Sacerdoti... :-(
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is...
2007-06-13 Enrico Tassimany changes:
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/