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: d1ab998) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 22 Feb 2015 19:31:23 +0000 (19:31 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 22 Feb 2015 19:31:23 +0000 (19:31 +0000)
commit	e8656c819b0b5e7bea7b4da244015b480af5f0f5
tree	dca86dd72997dfaccc4dd00a00edb188a9b8cd04	tree \| snapshot
parent	d1ab998b8c8dacdfceee97d6275955675cf8be83	commit \| diff

components: A asucc aplus leq llt aprem ex0

19 files changed:

matita/matita/contribs/lambdadelta/basic_1/A/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/A/fwd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_1/aplus/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/aplus/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/aprem/defs.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/asucc/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/asucc/fwd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ex0/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/ex0/fwd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_1/ex0/props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/leq/asucc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/leq/defs.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/llt/defs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1/llt/fwd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_1/llt/props.ma		diff \| blob \| history

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