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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Sep 2015 17:42:29 +0000 (17:42 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Sep 2015 17:42:29 +0000 (17:42 +0000)
commit	8de8cf8adfa6fcda91047eb2c25535893ede046a
tree	e6987aa37b38ba78a360f9a4e3fc01ebd896266a	tree \| snapshot
parent	d2caaf419cb6c92cb5ca8615f8eac4e12f3ab728	commit \| diff

flavour and source information exported for the objects of lambdadelta version 1

179 files changed:

matita/matita/contribs/lambdadelta/basic_1/A/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/C/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/C/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/T/dec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/T/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/T/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/aplus/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/aprem/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/aprem/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/arity/aprem.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/arity/cimp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/arity/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/arity/lift1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/arity/pr3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/arity/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/arity/subst0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/asucc/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/cimp/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clear/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clear/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clear/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/clen/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/cnt/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/cnt/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csuba/arity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csuba/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csuba/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csuba/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csuba/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csuba/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/arity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/csuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/drop1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubc/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubst0/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubst0/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubst0/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubst0/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubst0/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubst1/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubst1/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/csuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/pc3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubt/ty3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubv/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubv/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubv/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubv/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/csubv/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/drop/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/drop/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/drop1/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/drop1/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/drop1/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ex0/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ex0/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ex1/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ex2/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/flt/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/flt/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/fsubst0/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/dec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/flt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/getl/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/iso/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/iso/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/leq/asucc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/leq/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/leq/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/lift/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/lift/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/lift/tlt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/lift1/drop1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/lift1/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/llt/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/llt/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/next_plus/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/nf2/arity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/nf2/dec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/nf2/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/nf2/iso.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/nf2/lift1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/nf2/pr3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/nf2/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc1/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/fsubst0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/left.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/nf2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/pc1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/subst1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pc3/wcpr0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr0/dec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr0/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr0/pr0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr0/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr0/subst0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr0/subst1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr1/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr1/pr1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr1/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr2/clen.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr2/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr2/pr2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr2/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr2/subst1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr3/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr3/iso.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr3/pr1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr3/pr3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr3/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr3/subst1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr3/wcpr0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/r/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/s/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/s/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sc3/arity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sc3/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sn3/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sn3/lift1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sn3/nf2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sn3/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sty0/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sty0/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sty1/cnt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sty1/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/sty1/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/subst/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/subst0/dec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/subst0/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/subst0/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/subst0/tlt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/subst1/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/subst1/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/tlist/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/tlist/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/tlt/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/tlt/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/arity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/arity_props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/dec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/fsubst0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/fwd_nf2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/nf2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/pr3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/pr3_props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/sty0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ty3/subst1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/wcpr0/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/wcpr0/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/wf3/clear.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/wf3/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/wf3/getl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/wf3/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/wf3/ty3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_1/blt/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_1/ext/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_1/ext/tactics.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_1/plist/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_1/types/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_1/types/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/legacy_1/coq/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/legacy_1/coq/props.ma		diff \| blob \| history

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

RSS Atom