]> matita.cs.unibo.it Git - helm.git/commit
some corrections ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Mar 2014 16:57:47 +0000 (16:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Mar 2014 16:57:47 +0000 (16:57 +0000)
commit876b7e94113e67c7fb2dbc9ff7956c399778ce6f
tree974d2eddfdbbd4541550ef9eebb0eb0b503976b7
parent84cc672d70212e4f204bc2f43120ec4d82f9bcd9
some corrections ...
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_ldrop.ma
matita/matita/contribs/lambdadelta/basic_2/grammar/leq.ma
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma