]> matita.cs.unibo.it Git - helm.git/commit
auto --> autobatch
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 25 May 2007 08:27:39 +0000 (08:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 25 May 2007 08:27:39 +0000 (08:27 +0000)
commitdf1c68cd483823071179fb74428de36f21c20972
treeb0ea664b3aeb7152a98fe29eb466b687543dae4f
parentfa2319814d744d3e374490fe4e4746d9a5c84f1f
auto --> autobatch
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma
helm/software/matita/contribs/RELATIONAL/NLE/inv.ma
helm/software/matita/contribs/RELATIONAL/NLE/nplus.ma
helm/software/matita/contribs/RELATIONAL/NPlus/inv.ma
helm/software/matita/dama/ordered_sets.ma
helm/software/matita/tests/fguidi.ma