matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof

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

2005-06-15	Enrico Tassi	are_convertible on MutCase was no longer checking the...	blob \| commitdiff \| raw
2005-06-10	Claudio Sacerdoti...	* (Head) beta reduction functions factorized	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	added C.Appl [] case	blob \| commitdiff \| raw \| diff to current
2005-05-31	Enrico Tassi	implemented normalize (used in new_metasenv_for_apply)	blob \| commitdiff \| raw \| diff to current
2005-05-27	Enrico Tassi	removed debug prerr_endline	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	blob \| commitdiff \| raw \| diff to current
2002-04-16	Andrea Asperti	Replaced with a symbolic link to the actual implementation.	blob \| commitdiff \| raw
2001-12-05	Claudio Sacerdoti...	Debugging code removed to achieve more tail-recursivity.	blob \| commitdiff \| raw \| diff to current
2001-12-05	Claudio Sacerdoti...	Just code clean-up.	blob \| commitdiff \| raw \| diff to current
2001-12-03	Claudio Sacerdoti...	* Major code cleanup.	blob \| commitdiff \| raw \| diff to current
2001-11-29	Claudio Sacerdoti...	LetIn reduction (alias zeta-reduction) is now performed...	blob \| commitdiff \| raw \| diff to current
2001-11-26	Claudio Sacerdoti...	HELM OCaml libraries with findlib support.	blob \| commitdiff \| raw \| diff to current

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