]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/term.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5da445) | patch
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
tree658de3abbea96452aff644ade96511728a3ce61etree | snapshot
parentd5da44537d93ee16e1f440e5ce3fd69b32c3b730commit | diff
bug fix in notation precedences
matita/matita/contribs/lambda/delifting_substitution.ma diff | blob | history
matita/matita/contribs/lambda/lift.ma diff | blob | history
matita/matita/contribs/lambda/multiplicity.ma diff | blob | history
matita/matita/contribs/lambda/term.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.