]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd1c4ee) | patch
- ok pr0 pr1 pr2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Sep 2006 15:13:47 +0000 (15:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Sep 2006 15:13:47 +0000 (15:13 +0000)
commit7f82161596bdfccc1179f5edcc0bfd76d34516b5
tree96ad44c402227ac8a2e06492131958d6e335bd74tree | snapshot
parentdd1c4eeef3d38eb9e01d50d06de6892a048c05a5commit | diff
- ok pr0 pr1 pr2
- added one problem (like problems-4)
21 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-1.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.