]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52b441a) | 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)
commit5a51f47aa1068c33d4118265a5bb97123cffa120
treec2a37f4f5427f7b935d37d748b61626cc2117c71tree | snapshot
parent52b441a5c783fff87fdac3e80b7f5c8d4c7fa7f7commit | diff
ok up to tau0
21 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/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.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.