]> matita.cs.unibo.it Git - helm.git/commit
New age selection
authordenes <??>
Thu, 2 Jul 2009 14:20:38 +0000 (14:20 +0000)
committerdenes <??>
Thu, 2 Jul 2009 14:20:38 +0000 (14:20 +0000)
commit772def9075b7b62870ebf4cecec6bcd37a549b1d
treeb5526502a7b45df1501ab93af7922235b2543ba5
parentc87f56790dcb2825dcc2178eaea34f05a4649557
New age selection
New demodulation strategy
helm/software/components/ng_paramodulation/.depend
helm/software/components/ng_paramodulation/nCicProof.ml
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/terms.ml
helm/software/components/ng_paramodulation/terms.mli