]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 965e670) | patch
some simplifications.
authorCristian Armentano <??>
Fri, 7 Sep 2007 14:10:46 +0000 (14:10 +0000)
committerCristian Armentano <??>
Fri, 7 Sep 2007 14:10:46 +0000 (14:10 +0000)
commite65e31bab82994cf8400bb4c294cf7d16fa2c83c
treed7dd2a51fa8a85dc9430c17ae4aaa37ee10c8f7atree | snapshot
parent965e6701083fee1db8a4ccb3ed11d30da3f6dfb1commit | diff
some simplifications.
helm/software/matita/library/nat/gcd_properties1.ma diff | blob | history
helm/software/matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma diff | blob | history
helm/software/matita/library/nat/totient1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.