]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_unification/cicMkImplicit.mli
rebuilt
[helm.git] / helm / ocaml / cic_unification / cicMkImplicit.mli
2004-02-03 Claudio Sacerdoti... cic_mkimplicit' removed (its implementation was wrong...
2004-02-03 Claudio Sacerdoti... Added an optional parameter to identity_relocation_list...
2004-01-20 Andrea AspertiFirst version of refine for MutCase, still largely...
2004-01-19 Stefano Zacchiroliadded MkImplicit module for meta handling