]> matita.cs.unibo.it Git - helm.git/commit
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
treec24d89b6e196c290890c2c7bc0caf1782e42b98a
parent646da3fc52fa905a67959cfa1191eb5c96edaef1
New ways for initialising the signature required for paramodultion
helm/software/components/ng_paramodulation/nCicProof.ml
helm/software/components/ng_paramodulation/nCicProof.mli