]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 477e0b5) | patch
* Some simplifications to theorem in file totient1.ma.
authorCristian Armentano <??>
Wed, 19 Sep 2007 13:01:16 +0000 (13:01 +0000)
committerCristian Armentano <??>
Wed, 19 Sep 2007 13:01:16 +0000 (13:01 +0000)
commitdb9c252cc8adb9243892203805b203bafe486bfc
treef097a8f17938eca0a4aa25ce93b539d627dbdc97tree | snapshot
parent477e0b5b994dd96246dd29297ab468f7ca4cf09acommit | diff
* Some simplifications to theorem in file totient1.ma.
* Some theorems moved from file gcd_propreties1.ma to file gcd.ma.
* Some theorems moved from file dirichlet_product.ma to files div_and_mod.ma and primes.ma.
helm/software/matita/library/Z/dirichlet_product.ma diff | blob | history
helm/software/matita/library/nat/div_and_mod.ma diff | blob | history
helm/software/matita/library/nat/gcd.ma diff | blob | history
helm/software/matita/library/nat/gcd_properties1.ma diff | blob | history
helm/software/matita/library/nat/primes.ma diff | blob | history
helm/software/matita/library/nat/totient1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.