]> 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)
commit63c80d98ebf619b965c078bec3672b30664a3a65
tree718e72ce1f4ca3194ab8f6ff236af9f4e5a78a98
parentce59baa99eeb2703be96d576e66d0b5118268f82
auto => autobatch
matita/tests/elim.ma
matita/tests/hard_refine.ma
matita/tests/inversion.ma
matita/tests/replace.ma
matita/tests/test3.ma