]> matita.cs.unibo.it Git - helm.git/commit
autobatch parameters reajusted
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 23 Jul 2007 13:12:40 +0000 (13:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 23 Jul 2007 13:12:40 +0000 (13:12 +0000)
commit49e72b6a1c126e7e34323b64decad10d46d93f97
tree59197018fb15de89accd2bffefd3d3ab1ee93a52
parenta861d697fb8c13f8b12507a576aba03d0b33024c
autobatch parameters reajusted
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/fun.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/props.ma