]> matita.cs.unibo.it Git - helm.git/commit
- some pending conjectures closed in basic_2 and ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jun 2014 13:33:06 +0000 (13:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jun 2014 13:33:06 +0000 (13:33 +0000)
commit67c5cf7ae14c745a94defbe645c5406ccbcf514d
tree5f34fb3940625cf39c00e3e55fd005be85c2de6b
parent0c7129d74ba0bfbdf7f71ffcf46a8c8c93e7df14
- some pending conjectures closed in basic_2 and ground_2
- bug fix in decidability of lift
matita/matita/contribs/lambdadelta/basic_2/grammar/item.ma
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv.ma
matita/matita/contribs/lambdadelta/basic_2/grammar/term.ma
matita/matita/contribs/lambdadelta/basic_2/substitution/lift.ma
matita/matita/contribs/lambdadelta/ground_2/etc/lib/arith.etc
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
matita/matita/contribs/lambdadelta/ground_2/lib/bool.ma