]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ace2947) | 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)
commit935efd051844dd7877207c7917eb73016b7c8bc5
treec55065687f4d91195e1d621138c5b684c131a6a7tree | snapshot
parentace2947c20827ae2c4810b087d490015602e35d9commit | diff
generic sommatory.
helm/software/matita/library/nat/generic_sigma_p.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.