]> matita.cs.unibo.it Git - helm.git/commit
almost complete superposition right step
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 16:22:41 +0000 (16:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 16:22:41 +0000 (16:22 +0000)
commit40ce8d1c14808ea7608ee2988bd9aba77ddf8200
tree68178fd4d985c53f22d5346f2b901813bd70141f
parent01b628fc79155f545b283c1d095d8a2ffe00e0a1
almost complete superposition right step
helm/software/components/ng_paramodulation/.depend
helm/software/components/ng_paramodulation/.depend.opt
helm/software/components/ng_paramodulation/foUtils.mli
helm/software/components/ng_paramodulation/index.ml
helm/software/components/ng_paramodulation/index.mli
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/pp.ml
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/superposition.mli