]> matita.cs.unibo.it Git - helm.git/commit
existential variables in goal supported
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 18 May 2006 11:06:40 +0000 (11:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 18 May 2006 11:06:40 +0000 (11:06 +0000)
commitfc26c5c680602ef01df698cc5d696e6a8254ef28
tree5c1c76bd88e9c709d820c2f6f3c88868e9bfdd08
parent80ed96c6f886c20ea6659cf285c6785cc32d756b
existential variables in goal supported
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/subst.ml
components/tactics/paramodulation/subst.mli
components/tactics/paramodulation/utils.ml