]> matita.cs.unibo.it Git - helm.git/commit
auto -> autobatch
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jul 2007 13:46:07 +0000 (13:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Jul 2007 13:46:07 +0000 (13:46 +0000)
commitc497867b0452f544661fd73b7f5dc8afbe8460e4
treedcaaaaeecc52446878ba43d6d85b35ea26ffbb6c
parent03c219fd478b4160ef1bc0b9e66520afeb6394ac
auto -> autobatch
helm/software/matita/tests/paramodulation/BOO075-1.ma
helm/software/matita/tests/paramodulation/boolean_algebra.ma
helm/software/matita/tests/paramodulation/group.ma