]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0fe4fa) | patch
Added a copy of lambdaN to extend the syntax of dummies with types
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 17 Jun 2011 09:01:29 +0000 (09:01 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 17 Jun 2011 09:01:29 +0000 (09:01 +0000)
commit15190ed1fb47989f2d50261db7991186ec3d5e47
tree9754987ed5934b4a831ad35fdb85118048c85bb9tree | snapshot
parentc0fe4fa6c136cc80037a9fbf1997cbb1d6763a3ccommit | diff
Added a copy of lambdaN to extend the syntax of dummies with types
20 files changed:
matita/matita/lib/basics/logic.ma diff | blob | history
matita/matita/lib/lambdaN/arity.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/arity_eval.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/convertibility.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/cube.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/ext.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/ext_lambda.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/inversion.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/lambda_notation.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/par_reduction.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/rc_eval.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/rc_hsat.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/rc_sat.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/reduction.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/sn.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/subject.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/subst.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/subterms.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/terms.ma [new file with mode: 0644] blob
matita/matita/lib/lambdaN/types.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.