]> matita.cs.unibo.it Git - helm.git/commit
some old auto yurned into autobatch
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Jun 2007 17:58:16 +0000 (17:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Jun 2007 17:58:16 +0000 (17:58 +0000)
commited9f80229efee54f0448612e21fa6608f7de79a0
tree92c357b49e7260578543efe8afce8202d195e848
parentc3bba4af040f8040e5eae07e70690c52f8c614f8
some old auto yurned into autobatch
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma
matita/contribs/RELATIONAL/NLE/inv.ma
matita/contribs/RELATIONAL/NLE/order.ma
matita/contribs/RELATIONAL/NLE/props.ma
matita/contribs/RELATIONAL/NPlus/fun.ma
matita/contribs/RELATIONAL/NPlus/inv.ma
matita/contribs/RELATIONAL/NPlus/monoid.ma
matita/contribs/RELATIONAL/ZEq/setoid.ma