]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d1c6f4) | patch
first commit of paramodulation-based theorem proving for helm...
authorAlberto Griggio <griggio@fbk.eu>
Thu, 12 May 2005 17:02:22 +0000 (17:02 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 12 May 2005 17:02:22 +0000 (17:02 +0000)
commit03cff55eef08d25984bc92080e4cac93889f3ba7
treea36e958cffac38e64661057ce9948dc7efa8f69dtree | snapshot
parent8d1c6f47f6a17cae4cc738987184b37e640b48edcommit | diff
first commit of paramodulation-based theorem proving for helm...
helm/ocaml/paramodulation/.cvsignore [new file with mode: 0644] blob
helm/ocaml/paramodulation/Makefile [new file with mode: 0644] blob
helm/ocaml/paramodulation/inference.ml [new file with mode: 0644] blob
helm/ocaml/paramodulation/inference.mli [new file with mode: 0644] blob
helm/ocaml/paramodulation/saturation.ml [new file with mode: 0644] blob
helm/ocaml/paramodulation/utils.ml [new file with mode: 0644] blob
helm/ocaml/paramodulation/utils.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.