]> 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)
commit2cd538bfba517fa5a300f3b5d32afaa380a7f59f
tree2d02eaaf2c7a112d4ebdb7f8ed1002b581046bcc
parentd4c2a887fc84135b70378cfcfcd623468d1da909
existential variables in goal supported
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/subst.ml
helm/software/components/tactics/paramodulation/subst.mli
helm/software/components/tactics/paramodulation/utils.ml