]> matita.cs.unibo.it Git - helm.git/commit
bug fix in notation precedences
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Nov 2012 22:24:11 +0000 (22:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Nov 2012 22:24:11 +0000 (22:24 +0000)
commit8730061377260fd9d86f77b46635038e3c1411cc
tree658de3abbea96452aff644ade96511728a3ce61e
parentd5da44537d93ee16e1f440e5ce3fd69b32c3b730
bug fix in notation precedences
matita/matita/contribs/lambda/delifting_substitution.ma
matita/matita/contribs/lambda/lift.ma
matita/matita/contribs/lambda/multiplicity.ma
matita/matita/contribs/lambda/term.ma