]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b58315e) | patch
Theorem sigma_p_knm changed into generic_iter_p_knm.
authorCristian Armentano <??>
Sun, 14 Oct 2007 14:06:05 +0000 (14:06 +0000)
committerCristian Armentano <??>
Sun, 14 Oct 2007 14:06:05 +0000 (14:06 +0000)
commit59cce4c27057cff97d9b4311a379c3107c5ee9a3
tree05e849084cd373faada231eedbe9613c13fbffebtree | snapshot
parentb58315ef220a130a44acbf528cd6885ddadad642commit | diff
Theorem sigma_p_knm changed into generic_iter_p_knm.
2 specific versions in nat/iteration2.ma and Z/sigma_p.ma
helm/software/matita/library/Z/sigma_p.ma diff | blob | history
helm/software/matita/library/nat/generic_iter_p.ma diff | blob | history
helm/software/matita/library/nat/iteration2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.