]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5587716) | patch
The new paramodulation functions instantiated over nCic.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 Dec 2009 10:06:47 +0000 (10:06 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 Dec 2009 10:06:47 +0000 (10:06 +0000)
commit2b80895770829206d04600abbc029b4ddfad33f9
treee0aaba36919a9c5e4fb13b0af8c221342575abf3tree | snapshot
parent5587716849ea45d539c26b6aaeeba00bf16f00becommit | diff
The new paramodulation functions instantiated over nCic.
helm/software/components/ng_paramodulation/nCicParamod.ml diff | blob | history
helm/software/components/ng_paramodulation/nCicParamod.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.