]> matita.cs.unibo.it Git - helm.git/commit
auto => autobatch
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 09:50:18 +0000 (09:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 09:50:18 +0000 (09:50 +0000)
commit04b57d04fcb847a6f834050d7120bac8494c5519
tree3cfd78ec3103f4bab197d26071b01696de919e6a
parent1f352f96a06605dcb2b3dd2a229c971ef2dc28e3
auto => autobatch
helm/software/matita/tests/elim.ma
helm/software/matita/tests/hard_refine.ma
helm/software/matita/tests/inversion.ma
helm/software/matita/tests/replace.ma
helm/software/matita/tests/test3.ma