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

author	Cristian Armentano <??>
	Fri, 29 Jun 2007 14:12:07 +0000 (14:12 +0000)
committer	Cristian Armentano <??>
	Fri, 29 Jun 2007 14:12:07 +0000 (14:12 +0000)
commit	45d665041eae44ef5527e2c5a65329493d742ef3
tree	d0e99b4526287d35944ce7f7f905a34cb27cf571	tree \| snapshot
parent	a41fb802c2faef160c62f2368f22853d3b775aa7	commit \| diff

theorems about sigma_p proved using sigma_p_gen

matita/library/Z/sigma_p.ma		diff \| blob \| history
matita/library/nat/iteration2.ma		diff \| blob \| history

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