]> 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)
commit32d6065811881d4ceac52448330ae793840e14e8
treeceef6e4e5cdbd1b8f6735cd506d1bf69c4fd6d24
parent3efdef8622d376ce3e9638f157a62f048bcbfaa0
the function to create on the fly a symmetry step has been moved to equality
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/saturation.ml