]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/nCicProof.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 646da3f) | patch
New ways for initialising the signature required for paramodultion
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 Dec 2009 10:05:30 +0000 (10:05 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 Dec 2009 10:05:30 +0000 (10:05 +0000)
commit5587716849ea45d539c26b6aaeeba00bf16f00be
treec24d89b6e196c290890c2c7bc0caf1782e42b98atree | snapshot
parent646da3fc52fa905a67959cfa1191eb5c96edaef1commit | diff
New ways for initialising the signature required for paramodultion
helm/software/components/ng_paramodulation/nCicProof.ml diff | blob | history
helm/software/components/ng_paramodulation/nCicProof.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.