]> matita.cs.unibo.it Git - helm.git/commit
more work for the generic auto parameters
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jun 2006 08:21:43 +0000 (08:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jun 2006 08:21:43 +0000 (08:21 +0000)
commita67679766c06b41ec29e695eb52091229dbba282
treedec816c1b43fc2dd4ca95a2116c50d9775630426
parent3b7bfb05e6fc1a2ac6864d8f7d959fcda0597d21
more work for the generic auto parameters
helm/software/components/binaries/tptp2grafite/main.ml
helm/software/components/tactics/autoTactic.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/saturation.mli