]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7873779) | patch
generic sommatory.
authorCristian Armentano <??>
Tue, 26 Jun 2007 08:14:09 +0000 (08:14 +0000)
committerCristian Armentano <??>
Tue, 26 Jun 2007 08:14:09 +0000 (08:14 +0000)
commita4393c37bb9304e691d9b96909818dc08bf5bf43
treecb403a76131f5a2449a019964c0fff5847b0c0c2tree | snapshot
parent7873779480093bac7e7ee891aa9bd1d0bfb903ffcommit | diff
generic sommatory.
matita/library/nat/generic_sigma_p.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.