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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 2 Mar 2009 12:39:33 +0000 (12:39 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 2 Mar 2009 12:39:33 +0000 (12:39 +0000)
commit	de77f79d60ee3c1d30fe03469172950b557441f3
tree	5da67c36caa17fb24db83d9e382d8ac2f2ef3ba5	tree \| snapshot
parent	3531d88e2a19cba027b4b882f8dd74bf37283b9c	commit \| diff

uri renaming and new nodes count

460 files changed:

helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/A/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/C/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/C/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/G/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/T/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/T/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/T/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/aplus/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/aplus/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/app/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/aprem/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/aprem/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/aprem/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/aprem.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/cimp.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/lift1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/pr3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/arity/subst0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/asucc/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/asucc/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/cimp/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/cimp/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/clear/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/clear/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/clear/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/clear/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/clen/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/clen/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/cnt/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/cnt/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csuba/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csuba/clear.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csuba/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csuba/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csuba/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csuba/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csuba/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/clear.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/csuba.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/drop1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubc/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst0/clear.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst0/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst0/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst0/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst0/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst1/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst1/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubst1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/clear.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/csuba.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/pc3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubt/ty3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubv/clear.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubv/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubv/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubv/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/csubv/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/definitions.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/drop/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/drop/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/drop/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/drop1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/drop1/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/drop1/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/drop1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ex0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ex0/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ex1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ex1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ex2/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ex2/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/flt/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/flt/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/fsubst0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/fsubst0/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/clear.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/flt.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/getl/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/iso/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/iso/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/iso/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/leq/asucc.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/leq/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/leq/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/leq/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/lift/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/lift/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/lift/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/lift/tlt.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/lift1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/lift1/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/lift1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/llt/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/llt/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/next_plus/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/next_plus/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/iso.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/lift1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/pr3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/nf2/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/fsubst0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/left.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/nf2.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/pc1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/subst1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pc3/wcpr0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr0/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr0/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr0/pr0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr0/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr0/subst1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr1/pr1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr2/clen.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr2/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr2/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr2/pr2.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr2/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr2/subst1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/iso.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/pr1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/pr3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/subst1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/pr3/wcpr0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/preamble.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/r/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/r/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/s/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/s/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sc3/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sc3/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sc3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sn3/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sn3/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sn3/lift1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sn3/nf2.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sn3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/spare.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sty0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sty0/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sty0/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sty1/cnt.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sty1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/sty1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst0/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst0/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst0/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst0/subst0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst0/tlt.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst1/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst1/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst1/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/subst1/subst1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/theory.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/tlist/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/tlist/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/tlt/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/tlt/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/arity_props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/fsubst0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/fwd_nf2.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/nf2.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/pr3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/pr3_props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/sty0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/ty3/subst1.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wcpr0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wcpr0/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wcpr0/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wf3/clear.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wf3/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wf3/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wf3/getl.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wf3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/wf3/ty3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/A/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/C/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/C/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/G/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/T/dec.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/T/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/T/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aplus/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aplus/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/app/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aprem/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aprem/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aprem/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/aprem.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/cimp.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/lift1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/pr3.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/subst0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/asucc/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/asucc/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/cimp/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/cimp/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clear/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clear/drop.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clear/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clear/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clen/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clen/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/cnt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/cnt/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/arity.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/clear.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/drop.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/arity.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/clear.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/csuba.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/drop.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/drop1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/clear.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/drop.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst1/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst1/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/clear.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/csuba.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/drop.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/pc3.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/ty3.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/clear.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/drop.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex0/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex0/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex2/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex2/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/flt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/flt/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/fsubst0/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/fsubst0/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/clear.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/dec.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/drop.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/flt.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/iso/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/iso/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/iso/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/leq/asucc.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/leq/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/leq/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/leq/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift/tlt.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift1/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/llt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/llt/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/next_plus/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/next_plus/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/arity.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/dec.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/iso.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/lift1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/pr3.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/dec.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/fsubst0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/left.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/nf2.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/pc1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/subst1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/wcpr0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/dec.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/pr0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/subst1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr1/pr1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/clen.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/pr2.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/subst1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/iso.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/pr1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/pr3.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/subst1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/wcpr0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/preamble.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/r/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/r/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/s/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/s/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sc3/arity.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sc3/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sc3/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/lift1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/nf2.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty0/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty0/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty0/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty1/cnt.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/dec.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/subst0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/tlt.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst1/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst1/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst1/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst1/subst1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/theory.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/tlist/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/tlist/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/tlt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/tlt/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/arity.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/arity_props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/dec.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/fsubst0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/fwd_nf2.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/nf2.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/pr3.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/pr3_props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/sty0.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/subst1.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wcpr0/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wcpr0/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wcpr0/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/clear.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/fwd.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/getl.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/ty3.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/blt/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/blt/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/definitions.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/ext/arith.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/ext/tactics.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/plist/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/plist/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/spare.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/theory.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/types/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/types/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/blt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/blt/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/ext/arith.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/ext/tactics.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/plist/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/plist/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/preamble.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/theory.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/types/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/types/props.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/depends		diff \| blob \| history

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

RSS Atom