]> matita.cs.unibo.it Git - helm.git/commit
Reorganization of results.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Oct 2007 09:57:49 +0000 (09:57 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Oct 2007 09:57:49 +0000 (09:57 +0000)
commitf262223fb7b49a191b25d27ecc58818b9d7a357d
tree412212cedc76a01a66d6c0f7e231688ff6e573e0
parent0ca6c1688d9000997977e6b1bad9a8c997c81d08
Reorganization of results.
helm/software/matita/library/Z/dirichlet_product.ma
helm/software/matita/library/Z/moebius.ma
helm/software/matita/library/Z/orders.ma
helm/software/matita/library/Z/plus.ma
helm/software/matita/library/Z/sigma_p.ma
helm/software/matita/library/Z/times.ma
helm/software/matita/library/Z/z.ma