]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b9d263) | 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)
commit44b11d163869b92e2d2abc695c622e64356fb6fd
tree7c8be26baecaf7b9cd7f2ae5113e8d15a572bfadtree | snapshot
parent8b9d2632ab7edc7102d16f3857fde02139cef5c2commit | diff
- ok pr0 pr1 pr2
- added one problem (like problems-4)
21 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
helm/software/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.