]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa8d697) | patch
we removed about 100 match-with costruction turning them into applications
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Oct 2006 12:26:16 +0000 (12:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Oct 2006 12:26:16 +0000 (12:26 +0000)
commit22cd9305796a779c5322a4a4c12e99643dbdcbec
treed2cd7b78fde0b98c4c4ec6d53f284aa843e67348tree | snapshot
parentfa8d697d64d04b11ca967ec983990837c27b1122commit | diff
we removed about 100 match-with costruction turning them into applications
61 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/clear.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/getl.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.