]> matita.cs.unibo.it Git - helm.git/commit
auto->autobatch
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jul 2007 09:58:45 +0000 (09:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jul 2007 09:58:45 +0000 (09:58 +0000)
commit4eb929cc3290f574fc290433c12553acefd8f714
tree24878b9c13a00a3fff098becadb71f26c844e221
parent3bd823a4d795ecd8929b55d4e4a698b411a97ab9
auto->autobatch
helm/software/matita/tests/multiple_inheritance.ma