]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5025e4) | patch
some theorems have been moved to more appropriate files in library.
authorCristian Armentano <??>
Tue, 18 Sep 2007 17:47:29 +0000 (17:47 +0000)
committerCristian Armentano <??>
Tue, 18 Sep 2007 17:47:29 +0000 (17:47 +0000)
commit6d49a181a1b771f797d37b02661b5743aee86ac1
treeaa40c547bcc86f47a69bc8eaaf0f0fedfa9e5271tree | snapshot
parente5025e47c9354d1bccdcbc5408579d305a493620commit | diff
some theorems have been moved to more appropriate files in library.
helm/software/matita/library/datatypes/bool.ma diff | blob | history
helm/software/matita/library/nat/div_and_mod.ma diff | blob | history
helm/software/matita/library/nat/gcd_properties1.ma diff | blob | history
helm/software/matita/library/nat/generic_iter_p.ma diff | blob | history
helm/software/matita/library/nat/lt_arith.ma diff | blob | history
helm/software/matita/library/nat/primes.ma diff | blob | history
helm/software/matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma [deleted file] blob | history
helm/software/matita/library/nat/totient1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.