]> matita.cs.unibo.it Git - helm.git/commit
the function to create on the fly a symmetry step has been moved to equality
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 08:59:27 +0000 (08:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 08:59:27 +0000 (08:59 +0000)
commit0e6ba9d1134a3bfe9fd4d5b4495faf0811a216df
treebac927e7931a5f72dbdbdc70a9423dd9aacf28d2
parente598227ac4ec3b3a22127782ab9ea1499f38dbff
the function to create on the fly a symmetry step has been moved to equality
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/saturation.ml