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

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_unification/cicMetaSubst.mli

2004-04-06	Stefano Zacchiroli	reorganized functions order	blob \| commitdiff \| raw
2004-02-11	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2004-02-06	Claudio Sacerdoti...	Code riorganization.	blob \| commitdiff \| raw \| diff to current
2004-02-06	Stefano Zacchiroli	added Format-library-friendly pretty printers defined...	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	ppterm_in_context exported	blob \| commitdiff \| raw \| diff to current
2004-02-02	Stefano Zacchiroli	- refine's type_of no longer return a substitution	blob \| commitdiff \| raw \| diff to current
2004-02-02	Stefano Zacchiroli	- removed unwind: every substitution is now _not_ unwinded	blob \| commitdiff \| raw \| diff to current
2004-01-29	Claudio Sacerdoti...	- lift added to CicMetaSubst	blob \| commitdiff \| raw \| diff to current
2004-01-27	Stefano Zacchiroli	- occur check test anticipated to the delift phase	blob \| commitdiff \| raw \| diff to current
2004-01-23	Stefano Zacchiroli	better comment for kernel wrappers	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	added to CicMetaSubst subst wrapper for CicReduction...	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	prettified	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	added CicMetaSubst module for metavariable instantiatiation	blob \| commitdiff \| raw \| diff to current

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