]> matita.cs.unibo.it Git - helm.git/commit
First compiling version
authordenes <??>
Thu, 23 Jul 2009 17:54:28 +0000 (17:54 +0000)
committerdenes <??>
Thu, 23 Jul 2009 17:54:28 +0000 (17:54 +0000)
commitbebc917ebff72c2e235cb3062a4c94f10a9aab27
treeec6eba392852ef34117fd8a55d874513c509f249
parentb519aa529779c0a4625eb43fa9557862d8cc6617
First compiling version
helm/software/components/ng_paramodulation/nCicProof.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/paramod.mli
helm/software/components/ng_paramodulation/pp.ml
helm/software/components/ng_paramodulation/pp.mli
helm/software/components/ng_paramodulation/stats.ml
helm/software/components/ng_paramodulation/stats.mli
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/terms.ml
helm/software/components/ng_paramodulation/terms.mli