]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eccaad1) | patch
- some bugs fixed in the domain-based preorders on environments
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 26 May 2008 12:30:21 +0000 (12:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 26 May 2008 12:30:21 +0000 (12:30 +0000)
commitf73bd1c1cdd504c2a991071505b2e4f541791a7f
treeb9839cc6c9301925ad96f40914da95d729091252tree | snapshot
parenteccaad18aa815bb3334e205b97c220f675e6d5a5commit | diff
- some bugs fixed in the domain-based preorders on environments
- some missing lemmas added
51 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/T/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aprem/fwd.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/csuba/arity.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/clear.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/drop.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/getl.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/arity.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/clear.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/csuba.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/drop.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/clear.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/csubst0/getl.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst1/getl.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/clear.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/csuba.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/defs.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/csubt/ty3.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubv/clear.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubv/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubv/drop.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubv/getl.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubv/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/flt/props.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/lift/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/nf2.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/dec.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sc3/arity.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/theory.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/arity.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/fsubst0.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd_nf2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/subst1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.