]> 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)
commit5f6a2cf7134fda213ffc721ee7eebf5be30d7800
tree36d8f601d866536b782ddc2b79949ee4e5898145
parent7bfd412f8023e814ef4b8da290e3c12ba71d5b80
Reorganization of the library.
helm/software/matita/library/nat/le_arith.ma
helm/software/matita/library/nat/lt_arith.ma
helm/software/matita/library/nat/primes.ma
helm/software/matita/library/nat/totient.ma