matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/paramodulation/founif.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/paramodulation/founif.ml

2009-04-29	Enrico Tassi	many checks guarded with if Utils.debug_metas	blob \| commitdiff \| raw
2008-11-04	Andrea Asperti	Calling unification instead of matching when checking...	blob \| commitdiff \| raw \| diff to current
2008-10-29	Andrea Asperti	Enforcing the disjoint invariant between metasenvs.	blob \| commitdiff \| raw \| diff to current
2006-11-27	Andrea Asperti	Commented an assertion.	blob \| commitdiff \| raw \| diff to current
2006-09-29	Enrico Tassi	renamed inference in founif that is more appropriate	blob \| commitdiff \| raw \| diff to current

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