]> 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)
commitee31ecd9be54fb4a3d815f11d77e88c3c49ff363
tree8e5178efdf7bd08a11f736124038e0e7901a6ccd
parent582e05fe21e170d26986a848c26ca07e97c014bd
some old auto yurned into autobatch
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/order.ma
helm/software/matita/contribs/RELATIONAL/NLE/props.ma
helm/software/matita/contribs/RELATIONAL/NPlus/fun.ma
helm/software/matita/contribs/RELATIONAL/NPlus/inv.ma
helm/software/matita/contribs/RELATIONAL/NPlus/monoid.ma
helm/software/matita/contribs/RELATIONAL/ZEq/setoid.ma