]> matita.cs.unibo.it Git - helm.git/commit
auto => autobatch
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 09:48:14 +0000 (09:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 09:48:14 +0000 (09:48 +0000)
commit1f352f96a06605dcb2b3dd2a229c971ef2dc28e3
tree067d38a2cbcd8bb395d3a4b7340cef5e7e098f56
parentaa14dc1ea55627bb92233adbce7662d0cf25b584
auto => autobatch
helm/software/matita/tests/bool.ma
helm/software/matita/tests/naiveparamod.ma
helm/software/matita/tests/paramodulation.ma