]> matita.cs.unibo.it Git - helm.git/commit
notation bug fix
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Apr 2011 21:28:46 +0000 (21:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Apr 2011 21:28:46 +0000 (21:28 +0000)
commitaa7c98c241b5db81d1f4442f665094eff080158b
tree4960bf2120b960074516bfd676cd724526890f6d
parent7b976a01aa6cedbfbef57ace183ce3fc0e2f22a9
notation bug fix
matita/matita/lib/lambda-delta/notation.ma
matita/matita/lib/lambda-delta/substitution/subst.ma
matita/matita/lib/lambda-delta/substitution/thin.ma