matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicReductionNaif.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicReductionNaif.ml

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / ocaml / cic_proof_checking / cicReductionNaif.ml

2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	commit \| commitdiff
2005-01-21	Stefano Zacchiroli	attributes support	commit \| commitdiff
2005-01-17	Enrico Tassi	new cicEnvironment implementation	commit \| commitdiff
2004-12-01	Enrico Tassi	Added universes handling. The PRE_UNIVERSES tag may...	commit \| commitdiff
2004-04-23	Enrico Tassi	Universes introduction	commit \| commitdiff
2004-04-16	Claudio Sacerdoti...	test_equality_only was not used in sort comparison.	commit \| commitdiff
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible to...	commit \| commitdiff
2004-02-06	Stefano Zacchiroli	added annotations to Cic.Implicit	commit \| commitdiff
2003-09-05	Claudio Sacerdoti...	Defs in context may now have an optional type (when...	commit \| commitdiff
2003-06-27	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	commit \| commitdiff
2002-06-12	Claudio Sacerdoti...	Abst removed from the DTD.	commit \| commitdiff
2002-05-21	Claudio Sacerdoti...	Two Meta occurrences where a parameter is accessible...	commit \| commitdiff
2002-05-20	Claudio Sacerdoti...	cicReductionNaif.ml was left out from the commit that...	commit \| commitdiff
2002-05-20	Claudio Sacerdoti...	New experimental commit: metavariables representation...	commit \| commitdiff
2002-05-08	Claudio Sacerdoti...	Experimental commit: we can now have definitions in...	commit \| commitdiff
2002-04-16	Claudio Sacerdoti...	* Bug fixed: applications of MutCase that are not iota...	commit \| commitdiff
2002-04-16	Andrea Asperti	1. CicReduction moved into CicReductionNaif	commit \| commitdiff

Unnamed repository; edit this file 'description' to name the repository.