]> matita.cs.unibo.it Git - helm.git/commit
update in lambdadelta
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 17 Jan 2020 13:50:17 +0000 (14:50 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 17 Jan 2020 13:50:17 +0000 (14:50 +0100)
commitd2545ffd201b1aa49887313791386add78fa8603
treeb30e96c31a79efe5e3ebeb0482358e3ad4257975
parent57ae1762497a5f3ea75740e2908e04adb8642cc2
update in lambdadelta

+ sources for λδ-2A added (with a correction)
+ sources for λδ-1A moved
+ λδ-related binaries moved here from web site directory
945 files changed:
.gitignore
helm/www/lambdadelta/Makefile
helm/www/lambdadelta/bin/Makefile.common [deleted file]
helm/www/lambdadelta/bin/a.ml [deleted file]
helm/www/lambdadelta/bin/index/Makefile [deleted file]
helm/www/lambdadelta/bin/index/index.ml [deleted file]
helm/www/lambdadelta/bin/inline/Makefile [deleted file]
helm/www/lambdadelta/bin/inline/inline.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/Makefile [deleted file]
helm/www/lambdadelta/bin/xhtbl/attr.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/fold.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/matrix.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/options.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/pass1.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/pass2.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/pass3.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/table.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/textLexer.mll [deleted file]
helm/www/lambdadelta/bin/xhtbl/textParser.mly [deleted file]
helm/www/lambdadelta/bin/xhtbl/textUnparser.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/xhtbl.ml [deleted file]
helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml [deleted file]
matita/matita/contribs/lambdadelta/basic_1/A/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/A/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/C/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/C/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/C/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/G/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/T/dec.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/T/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/T/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/T/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/aplus/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/aplus/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/app/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/aprem/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/aprem/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/aprem/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/aprem.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/cimp.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/lift1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/pr3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/arity/subst0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/asucc/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/asucc/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/cimp/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/cimp/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/clear/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/clear/drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/clear/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/clear/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/clen/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/clen/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/cnt/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/cnt/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/cnt/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csuba/arity.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csuba/clear.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csuba/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csuba/drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csuba/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csuba/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csuba/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/arity.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/clear.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/csuba.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/drop1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubc/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst0/clear.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst0/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst0/drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst0/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst0/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst0/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst1/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst1/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubst1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/clear.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/csuba.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/pc3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubt/ty3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubv/clear.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubv/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubv/drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubv/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubv/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/csubv/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/definitions.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/drop/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/drop/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/drop/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/drop1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/drop1/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/drop1/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/drop1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/etc/performance.txt [deleted file]
matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ex0/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ex0/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ex0/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ex1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ex1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ex2/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ex2/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/flt/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/flt/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/flt/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/fsubst0/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/fsubst0/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/clear.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/dec.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/flt.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/getl/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/iso/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/iso/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/iso/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/leq/asucc.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/leq/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/leq/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/leq/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/lift/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/lift/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/lift/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/lift/tlt.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/lift1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/lift1/drop1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/lift1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/llt/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/llt/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/llt/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/next_plus/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/next_plus/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/arity.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/dec.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/iso.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/lift1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/pr3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/nf2/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/dec.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/fsubst0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/left.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/nf2.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/pc1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/subst1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pc3/wcpr0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr0/dec.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr0/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr0/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr0/pr0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr0/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr0/subst0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr0/subst1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr1/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr1/pr1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr2/clen.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr2/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr2/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr2/pr2.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr2/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr2/subst1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/iso.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/pr1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/pr3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/subst1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/pr3/wcpr0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/preamble.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/r/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/r/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/s/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/s/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/s/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sc3/arity.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sc3/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sc3/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sn3/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sn3/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sn3/lift1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sn3/nf2.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sn3/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/spare.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sty0/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sty0/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sty0/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sty1/cnt.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sty1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sty1/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/sty1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst0/dec.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst0/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst0/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst0/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst0/subst0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst0/tlt.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst1/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst1/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst1/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst1/subst1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/theory.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/tlist/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/tlist/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/tlist/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/tlt/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/tlt/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/tlt/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/arity.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/arity_props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/dec.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/fsubst0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/fwd_nf2.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/nf2.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/pr3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/pr3_props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/sty0.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/ty3/subst1.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wcpr0/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wcpr0/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wcpr0/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wf3/clear.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wf3/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wf3/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wf3/getl.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wf3/props.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/wf3/ty3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1A/A/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/A/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/C/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/C/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/C/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/G/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/T/dec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/T/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/T/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/T/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/aplus/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/aplus/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/app/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/aprem/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/aprem/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/aprem/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/aprem.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/cimp.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/lift1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/pr3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/arity/subst0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/asucc/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/asucc/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/cimp/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/cimp/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/clear/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/clear/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/clear/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/clear/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/clen/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/clen/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/cnt/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/cnt/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/cnt/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csuba/arity.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csuba/clear.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csuba/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csuba/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csuba/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csuba/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csuba/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/arity.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/clear.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/csuba.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/drop1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubc/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst0/clear.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst0/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst0/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst0/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst0/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst0/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst1/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst1/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubst1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/clear.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/csuba.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/pc3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubt/ty3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubv/clear.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubv/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubv/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubv/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubv/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/csubv/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/definitions.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/drop/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/drop/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/drop/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/drop1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/drop1/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/drop1/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/drop1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/etc/performance.txt [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/etc/planes.txt [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ex0/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ex0/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ex0/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ex1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ex1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ex2/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ex2/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/flt/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/flt/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/flt/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/fsubst0/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/fsubst0/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/clear.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/dec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/flt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/getl/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/iso/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/iso/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/iso/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/leq/asucc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/leq/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/leq/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/leq/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/lift/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/lift/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/lift/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/lift/tlt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/lift1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/lift1/drop1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/lift1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/llt/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/llt/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/llt/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/next_plus/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/next_plus/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/arity.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/dec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/iso.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/lift1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/pr3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/nf2/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/dec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/fsubst0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/left.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/nf2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/pc1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/subst1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pc3/wcpr0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr0/dec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr0/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr0/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr0/pr0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr0/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr0/subst0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr0/subst1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr1/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr1/pr1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr2/clen.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr2/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr2/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr2/pr2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr2/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr2/subst1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/iso.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/pr1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/pr3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/subst1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/pr3/wcpr0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/preamble.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/r/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/r/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/rect.txt [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/s/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/s/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/s/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sc3/arity.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sc3/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sc3/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sn3/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sn3/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sn3/lift1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sn3/nf2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sn3/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/spare.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sty0/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sty0/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sty0/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sty1/cnt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sty1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sty1/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/sty1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst0/dec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst0/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst0/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst0/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst0/subst0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst0/tlt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst1/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst1/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst1/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/subst1/subst1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/theory.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/tlist/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/tlist/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/tlist/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/tlt/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/tlt/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/tlt/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/arity.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/arity_props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/dec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/fsubst0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/fwd_nf2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/nf2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/pr3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/pr3_props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/sty0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/ty3/subst1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wcpr0/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wcpr0/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wcpr0/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wf3/clear.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wf3/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wf3/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wf3/getl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wf3/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1A/wf3/ty3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpre.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpre_cpre.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cprs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cprs_cprs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cprs_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxe.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_cpxs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_tsts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_tsts_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_fpbs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_lpx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_lpxs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_tsts_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbg.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbg_fleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbg_fpbg.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbg_fpbs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbg_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbs_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbs_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbs_fpb.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbs_fpbs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fpbs_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fsb.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fsb_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fsb_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/fsb_csx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/gcp.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/gcp_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/gcp_cr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lcosx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lcosx_cpx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lprs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lprs_cprs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lprs_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lprs_lprs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lpxs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lpxs_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lpxs_cpxs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lpxs_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lpxs_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lpxs_lpxs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsubc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsubc_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsubc_drops.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsubc_lsuba.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx_csx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx_lpx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx_lpxs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/scpds.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/scpds_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/scpds_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/computation/scpds_scpds.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/conversion/cpc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/conversion/cpc_cpc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv_cpcs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv_lstas.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv_lsuba.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv_lsubd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv_scpds.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv_snv.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/shnv.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_da_lpr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_fsb.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_lpr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_lstas.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_lstas_lpr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_preserve.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/dynamic/snv_scpes.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs_cpcs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs_cprs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/scpes.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/scpes_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/scpes_cpcs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/equivalence/scpes_scpes.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/examples/ex_cpr_omega.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/examples/ex_fpbg_refl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/examples/ex_snv_eta.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/examples/ex_sta_ldec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/aarity.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/cl_restricted_weight.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/cl_weight.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/genv.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/item.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv_append.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv_length.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv_weight.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/lreq_lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/term.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/term_simple.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/term_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/term_weight.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/tsts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/tsts_tsts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/grammar/tsts_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/cpys.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/cpys_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/cpys_cpys.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/cpys_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops_drops.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/fleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/fleq_fleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/fqup.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/fqup_fqup.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/fqus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/fqus_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/fqus_fqus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/frees.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/frees_append.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/frees_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/frees_lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lift_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lifts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_alt_rec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_fqus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_llor.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llor.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llor_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llor_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_alt_rec.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_frees.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_llor.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_lpx_sn.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_tc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2_minus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2_mr2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2_plus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/dxabbr_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/dxabst_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/dxbind2_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/gref_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/item0_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/item0_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/lref_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snabbr_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snabbrneg_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snabbrpos_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snabst_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snabstneg_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snabstpos_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snappl_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snbind2_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snbind2neg_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snbind2pos_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/sncast_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snflat2_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snitem2_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/snitem2_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/star_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/constructors/star_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/functions/snabbr_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/functions/snabst_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/functions/snapplvector_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/functions/snbind2_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/functions/weight_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/functions/weight_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/functions/weight_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/notation.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/atomicarity_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/btpred_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/btpredalt_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/btpredproper_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/btpredstar_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/btpredstaralt_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/btsn_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/btsnalt_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/cosn_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/degree_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/dpconvstar_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/dpredstar_7.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/freestar_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/ineint_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lazybtpredstarproper_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lazyeq_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lazyeq_7.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lazyor_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lrsubeq_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lrsubeqa_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lrsubeqc_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lrsubeqc_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lrsubeqd_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lrsubeqv_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/midiso_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/nativevalid_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/nativevalid_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/pconv_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/pconvstar_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/pred_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/pred_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predeval_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predeval_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/prednormal_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/prednormal_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/prednotreducible_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/prednotreducible_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predreducible_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predreducible_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predsn_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predsn_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predsnstar_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predsnstar_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predstar_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/predstar_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/psubst_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/psubststar_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/psubststaralt_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rat_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rdrop_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rdrop_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rdrop_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rdropstar_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rdropstar_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rlift_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rliftstar_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/rminus_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/simple_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/sn_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/sn_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/snalt_5.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/snalt_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/statictypestar_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/supterm_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/suptermopt_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/suptermoptalt_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/suptermplus_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/suptermstar_6.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/topiso_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/unfold_4.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cir.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cir_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cix.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cix_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr_cir.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr_crr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnx_cix.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnx_crx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnx_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpr_cir.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpr_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpr_llpx_sn.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpx_cix.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpx_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpx_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpx_llpx_sn.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpx_lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/crr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/crr_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/crx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/crx_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpb.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpb_fleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpb_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpb_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpbq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpbq_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpbq_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpbq_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpr_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpr_lpr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpx.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpx_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpx_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpx_frees.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpx_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/aaa_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/aaa_fqus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/aaa_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/aaa_lifts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/aaa_lleq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/da.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/da_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/da_da.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/da_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsuba.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsuba_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsuba_lsuba.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsubd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsubd_da.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsubd_lsubd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsubr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/lsubr_lsubr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/sd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/static/sh.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/cpy.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/cpy_cpy.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/cpy_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/cpy_nlift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop_append.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop_lreq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/fqu.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/fquq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/fquq_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/gget.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/gget_gget.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift_lift_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift_neg.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift_vector.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn_alt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn_lpx_sn.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn_tc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lsuby.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/substitution/lsuby_lsuby.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas_aaa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas_da.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas_llpx_sn.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas_lstas.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2A/unfold/unfold.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/Makefile.common [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/a.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/hls.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/index/Makefile [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/index/index.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/inline/Makefile [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/inline/inline.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/Makefile [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/attr.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/fold.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/matrix.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/options.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/pass1.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/pass2.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/pass3.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/table.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/textParser.mly [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/textUnparser.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/xhtbl.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/bin/xhtbl/xmlUnparser.ml [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1/blt/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/blt/props.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/definitions.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/ext/arith.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/ext/tactics.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/plist/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/plist/props.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/preamble.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/spare.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/theory.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/types/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/types/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1/types/props.ma [deleted file]
matita/matita/contribs/lambdadelta/ground_1A/blt/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/blt/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/definitions.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/ext/arith.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/ext/tactics.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/plist/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/plist/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/preamble.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/spare.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/theory.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/types/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/types/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_1A/types/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/lib/arith.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/lib/bool.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/lib/list.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/lib/lstar.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/lib/star.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/cons_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/cons_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/infinity_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/nil_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/no_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/yes_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/functions/append_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/functions/predecessor_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/functions/successor_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa/false_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa/true_0.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa2_notation.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa_notation.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/xoa/xoa.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/xoa/xoa2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/xoa/xoa_props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_le.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_lt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_max.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_min.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_minus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_plus.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_pred.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_succ.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/hls.ml [deleted file]
matita/matita/contribs/lambdadelta/legacy_1/coq/defs.ma [deleted file]
matita/matita/contribs/lambdadelta/legacy_1/coq/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/legacy_1/coq/props.ma [deleted file]
matita/matita/contribs/lambdadelta/legacy_1/definitions.ma [deleted file]
matita/matita/contribs/lambdadelta/legacy_1/preamble.ma [deleted file]
matita/matita/contribs/lambdadelta/legacy_1/spare.ma [deleted file]
matita/matita/contribs/lambdadelta/legacy_1/theory.ma [deleted file]
matita/matita/contribs/lambdadelta/legacy_1A/coq/defs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/legacy_1A/coq/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/legacy_1A/coq/props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/legacy_1A/definitions.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/legacy_1A/preamble.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/legacy_1A/spare.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/legacy_1A/theory.ma [new file with mode: 0644]