]> matita.cs.unibo.it Git - helm.git/commit
- auto now uses the equality of the new library
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Nov 2010 10:45:50 +0000 (10:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Nov 2010 10:45:50 +0000 (10:45 +0000)
commitc6aeb873c1c35f6ddf22dfec9ef19977ab53a0f8
tree0fd622e9eaa6fd165b66ff5a6859b88d4f323211
parent08affd483123f36da15b38c89d58a0477bc96244
- auto now uses the equality of the new library
matita/components/ng_paramodulation/nCicBlob.ml
matita/components/ng_paramodulation/nCicParamod.ml
matita/components/ng_paramodulation/nCicProof.ml
matita/components/ng_paramodulation/paramod.ml
matita/components/ng_tactics/nnAuto.ml