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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: ae22633) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 4 Mar 2015 19:39:26 +0000 (19:39 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 4 Mar 2015 19:39:26 +0000 (19:39 +0000)
commit	f7b122ac0979ee71c222d09d3ce32ded37767cd5
tree	ae0c00bb53c7acf00bb614f19b2362406d9a20f7	tree \| snapshot
parent	ae22633ad934bba5fb32143f1726cdfbd255b899	commit \| diff

components: arity, csuba

15 files changed:

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/defs.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/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/defs.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

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