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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Jul 2015 17:38:33 +0000 (17:38 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Jul 2015 17:38:33 +0000 (17:38 +0000)
commit	2601d0c1a860fdd08c4c1d71473917aa85eeb63a
tree	14457e3c9c68be7edf3271376c53b7f72d6708bc	tree \| snapshot
parent	dd453d40e15929d6faef02f7b01a17f0cd6fc5b7	commit \| diff

- subtraction (and related notions) removed
- more lemmas

14 files changed:

matita/matita/contribs/lambdadelta/ground_2/etc/lib/relations.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_max.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_min.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_minus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_plus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_le.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_max.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_min.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_succ.ma		diff \| blob \| history

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