]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_unification/freshNamesGenerator.mli
made executable again
[helm.git] / helm / ocaml / cic_unification / freshNamesGenerator.mli
2005-07-19 Andrea AspertifreshNamesGenerator moved into cic_proof_checking.
2004-11-29 Stefano Zacchirolibugfix: FreshNameGenerator uses the type checker on...
2004-02-05 Claudio Sacerdoti... dummy dependent types and dummy letins are now removed...
2004-02-05 Claudio Sacerdoti... fresh_name_generator has now also the metasenv parameter.
2004-02-05 Claudio Sacerdoti... mk_fresh_name moved to FreshNamesGenerator.