matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

some theorems have been moved to more appropriate files in library.

Unnamed repository; edit this file 'description' to name the repository.

matita/library/datatypes/bool.ma		diff \| blob \| history
matita/library/nat/div_and_mod.ma		diff \| blob \| history
matita/library/nat/gcd_properties1.ma		diff \| blob \| history
matita/library/nat/generic_iter_p.ma		diff \| blob \| history
matita/library/nat/lt_arith.ma		diff \| blob \| history
matita/library/nat/primes.ma		diff \| blob \| history
matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma	[deleted file]	blob \| history
matita/library/nat/totient1.ma		diff \| blob \| history