]> 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)
commit41e76668e9389ce17e41747026e533f907a0311c
tree09d498212d61e1d9fe84ccadedf11decda9a11d3
parent679f6296c9a979213425104fa606809d9f1e3bad
more work for the generic auto parameters
components/binaries/tptp2grafite/main.ml
components/tactics/autoTactic.ml
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/saturation.mli