]> matita.cs.unibo.it Git - helm.git/commit
- bug fix in notation precedences
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Nov 2012 16:53:26 +0000 (16:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Nov 2012 16:53:26 +0000 (16:53 +0000)
commiteae50cc815292d335df1c488a00b39ef98fa5870
tree93848b3835061b3bd352f96c5bad792134e68fe3
parent9def1b8a298aac85a7abdc75c4a33657fe7e6df7
- bug fix in notation precedences
- bug fix in the Makefile
matita/matita/contribs/lambda_delta/Makefile
matita/matita/contribs/lambda_delta/apps_2/functional/dsubst.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/apps_2/functional/lift.ma
matita/matita/contribs/lambda_delta/apps_2/functional/notation.ma
matita/matita/contribs/lambda_delta/apps_2/functional/subst.ma [deleted file]
matita/matita/contribs/lambda_delta/basic_2/notation.ma
matita/matita/contribs/lambda_delta/ground_2/arith.ma
matita/matita/contribs/lambda_delta/ground_2/tri.ma [deleted file]