]> matita.cs.unibo.it Git - helm.git/commit
right inference step completed
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 10 Jun 2009 13:38:08 +0000 (13:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 10 Jun 2009 13:38:08 +0000 (13:38 +0000)
commita99b3bf44964a6a3d56d752efbdc2c962ce24d08
tree1dc9d6851fbdd5df1312c05d69a28c6079186d70
parentc6b50e06bd73a29501cafe599551db206193220b
right inference step completed
helm/software/components/ng_paramodulation/foUtils.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/pp.ml
helm/software/components/ng_paramodulation/pp.mli
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/superposition.mli