]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3f9679) | patch
LAMBDA-TYPES: some more generation lemmas and some proofs improved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 9 Mar 2008 16:59:41 +0000 (16:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 9 Mar 2008 16:59:41 +0000 (16:59 +0000)
commit863c1f7bb313c3d9dff08d60c8c7ef7c511263c4
treebc138247324a539db92bc7cc06fa5287b28df37dtree | snapshot
parentc3f967910eca5648fd69886166c66ddd49d92b54commit | diff
LAMBDA-TYPES: some more generation lemmas and some proofs improved
26 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/app/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/lift1.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/subst0.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/clear/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst1/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/drop.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/getl.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop1/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop1/getl.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop1/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/fsubst0/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/iso/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift/tlt.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/lift1.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sc3/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sn3/lift1.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/spare.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/props.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.