]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d51f0e2) | patch
refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 18:34:04 +0000 (18:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 18:34:04 +0000 (18:34 +0000)
commit14d370851b7779e9fc6343532372e939dadb831c
treefb0e364477cc4f712783b8a496b5c14671f7ce7etree | snapshot
parentd51f0e2aaa8f9ee6a5b1bd759bb351a86edca162commit | diff
refactoring
424 files changed:
matita/contribs/LAMBDA-TYPES/Base-1/Base/blt/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/blt/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/ext/arith.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/ext/tactics.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/makefile [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/plist/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/plist/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/preamble.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/spare.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/theory.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/types/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base-1/Base/types/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Base/blt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/blt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/ext/arith.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/ext/tactics.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/makefile [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/plist/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/plist/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/preamble.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/spare.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/theory.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/types/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Base/types/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/A/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/C/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/C/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/G/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/T/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/T/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/T/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aplus/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aplus/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aprem/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aprem/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/aprem.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/cimp.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/lift1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/pr3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/subst0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/asucc/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/asucc/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/cimp/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/cimp/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/clear/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/clear/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/clear/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/clear/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/clen/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/clen/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/cnt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/cnt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/arity.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/clear.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/arity.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/clear.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/csuba.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/drop1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/clear.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst0/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst1/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst1/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubst1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/clear.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/pc3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubt/ty3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop1/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/drop1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ex1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ex1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/flt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/flt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/fsubst0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/fsubst0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/clear.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/flt.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/getl/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/gz/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/gz/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/iso/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/iso/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/iso/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/asucc.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift/tlt.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/llt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/llt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/next_plus/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/next_plus/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/iso.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/lift1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/pr3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/fsubst0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/left.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/pc1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/wcpr0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr1/pr1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr2/clen.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr2/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr2/pr2.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr2/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr2/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/iso.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/pr1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/pr3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr3/wcpr0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/r/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/r/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/s/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/s/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sc3/arity.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sc3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sc3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sn3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sn3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sn3/lift1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sn3/nf2.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sn3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/spare.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst0/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst0/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst0/tlt.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau0/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau1/cnt.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tlist/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tlist/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tlt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tlt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/arity.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/arity_props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/fsubst0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/tau0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wcpr0/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wcpr0/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wcpr0/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/spare.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/spare.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.