]> matita.cs.unibo.it Git - helm.git/commit
- more notation and service lemmas
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 Mar 2011 19:18:39 +0000 (19:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 Mar 2011 19:18:39 +0000 (19:18 +0000)
commit7a490593a8c798ac35007ddcc61da3b9153ac619
treeafb9e0847bac0f624971cacec6aa009d1e26c597
parentbfafdf7d8313ddd24c06d8ce3bba874f780403a9
- more notation and service lemmas
- arity.ma: arities and arity types
- arity_eval.ma: arities and arity types assigned to terms
matita/matita/lib/lambda/arity.ma [new file with mode: 0644]
matita/matita/lib/lambda/arity_eval.ma [new file with mode: 0644]
matita/matita/lib/lambda/ext.ma
matita/matita/lib/lambda/lambda_notation.ma