]> 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)
commit4a3ced7cc547cc4f4566c4c68c35b0de1aabf7f0
tree29b7cef867b377ee8b06973f9412ab377db0cae6
parentc0e7999b2d7cb926affcf406f33e01e74bea62d7
auto --> autobatch
matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma
matita/contribs/RELATIONAL/NLE/inv.ma
matita/contribs/RELATIONAL/NLE/nplus.ma
matita/contribs/RELATIONAL/NPlus/inv.ma
matita/dama/ordered_sets.ma
matita/tests/fguidi.ma