]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efd683d) | patch
we rewrite the paramodulation code!
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 1 Jun 2009 11:57:04 +0000 (11:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 1 Jun 2009 11:57:04 +0000 (11:57 +0000)
commitddd751449e73a22af523ce78ce1d8f0bb211e941
tree7b0029ae635e36cfbbdc1a6674f8852ddb44a8d5tree | snapshot
parentefd683d260c9daefaf9e2c9a437d2aa00e965d89commit | diff
we rewrite the paramodulation code!
13 files changed:
helm/software/components/METAS/meta.helm-ng_paramodulation.src [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/.depend [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/Makefile [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/founif.ml [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/founif.mli [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/index.ml [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/index.mli [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/orderings.ml [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/orderings.mli [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/pp.ml [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/pp.mli [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/terms.ml [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/terms.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.