]> matita.cs.unibo.it Git - helm.git/commit
Reorganization of the library.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Oct 2007 09:59:54 +0000 (09:59 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Oct 2007 09:59:54 +0000 (09:59 +0000)
commitb7f77f52fa66ace34da12dd7e5efcae05be6cbe5
tree5f4b6efd114e2a5f5eeeafde2595c0261153da83
parent0b760f860016584385e5d83319a1bc9bbfb247fb
Reorganization of the library.
matita/library/nat/le_arith.ma
matita/library/nat/lt_arith.ma
matita/library/nat/primes.ma
matita/library/nat/totient.ma