]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe9fe2e) | patch
ok up to tau0
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Sep 2006 18:01:42 +0000 (18:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Sep 2006 18:01:42 +0000 (18:01 +0000)
commit824b55e90d08dac757eca02bd46a6effab1e0302
tree6389da3de7409aa8a6b15754e68bc0ed22d6bcf8tree | snapshot
parentfe9fe2e62685608b6294b841fd6887a4bf99c812commit | diff
ok up to tau0
21 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/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.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.