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

author	Cristian Armentano <??>
	Fri, 29 Jun 2007 16:30:31 +0000 (16:30 +0000)
committer	Cristian Armentano <??>
	Fri, 29 Jun 2007 16:30:31 +0000 (16:30 +0000)
commit	91387f570cb178315c0f492e66e95c1efe5bab2c
tree	564fad54e1f7391db83f88787dd98f724d2b8df0	tree \| snapshot
parent	d7c424128f1fd2e868bce67933750cc7fa75437e	commit \| diff

generic version, specializing generic_sigma_p.ma

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.