matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 17 Jan 2020 13:50:17 +0000 (14:50 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 17 Jan 2020 13:50:17 +0000 (14:50 +0100)
commit	d2545ffd201b1aa49887313791386add78fa8603
tree	b30e96c31a79efe5e3ebeb0482358e3ad4257975	tree \| snapshot
parent	57ae1762497a5f3ea75740e2908e04adb8642cc2	commit \| diff

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

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom