]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4393c3) | patch
(no commit message)
authorCristian Armentano <??>
Tue, 26 Jun 2007 08:47:26 +0000 (08:47 +0000)
committerCristian Armentano <??>
Tue, 26 Jun 2007 08:47:26 +0000 (08:47 +0000)
commitc3bba4af040f8040e5eae07e70690c52f8c614f8
tree7128327c684a3ad2c50bfc9d380370684761f8e2tree | snapshot
parenta4393c37bb9304e691d9b96909818dc08bf5bf43commit | diff
matita/library/nat/generic_sigma_p.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.