]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7367f2) | 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)
commit6ff5322f46c2e88e07b4c345bc45edda7042128a
tree27821f25869f47927f478b41c500247551de1f70tree | snapshot
parente7367f2ef8e2629fce81c0177ed16779bc93986acommit | diff
some simplifications.
matita/library/nat/gcd_properties1.ma diff | blob | history
matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma diff | blob | history
matita/library/nat/totient1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.