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: 5ff05b2) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 24 Feb 2015 19:27:32 +0000 (19:27 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 24 Feb 2015 19:27:32 +0000 (19:27 +0000)
commit	40e0eed5dc1a5f56f089f491841a5077723b891a
tree	c7e876a02c43cf74aa427a5e8a06aa0817192d3d	tree \| snapshot
parent	5ff05b234ea985b91bfe6ef3e8dd54eeeb477e11	commit \| diff

components: wcpr0 pr1 pr2

13 files changed:

matita/matita/contribs/lambdadelta/basic_1/pr1/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/pr1/fwd.ma	[new file with mode: 0644]	blob
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/defs.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/wcpr0/defs.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

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