]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic_unification/cicRefine.mli
parameter sintax added to axiom statement
[helm.git] / helm / software / components / cic_unification / cicRefine.mli
2009-04-28 Enrico Tassihuge commit in automation:
2009-01-08 Enrico Tassimore composites to make all happy!
2007-10-12 Claudio Sacerdoti... Move to OCaml 3.10. Requires debian packages from unsta...
2006-10-20 Andrea AspertiNew function pack_coercion_metasenv, used in auto after...
2006-04-13 Claudio Sacerdoti... Ugly solution to the "we proved T that is equivalent...
2006-02-15 Enrico Tassiadded support for "polymorphic" coercions
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/