]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfafdf7) | patch
- 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
treeafb9e0847bac0f624971cacec6aa009d1e26c597tree | snapshot
parentbfafdf7d8313ddd24c06d8ce3bba874f780403a9commit | diff
- 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] blob
matita/matita/lib/lambda/arity_eval.ma [new file with mode: 0644] blob
matita/matita/lib/lambda/ext.ma diff | blob | history
matita/matita/lib/lambda/lambda_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.