]> matita.cs.unibo.it Git - helm.git/commit
Few theorems added.`
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Mar 2007 10:58:06 +0000 (10:58 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Mar 2007 10:58:06 +0000 (10:58 +0000)
commitf275a4daa42f8ab455020ec5a7ce7bf69b460c37
treef20626f9f55eae1f5246c2bee333acfdc6078bad
parent4421f312e9614e608d0ddf6fa029c761f87ceb45
Few theorems added.`
helm/software/matita/library/nat/compare.ma
helm/software/matita/library/nat/div_and_mod.ma
helm/software/matita/library/nat/le_arith.ma
helm/software/matita/library/nat/minus.ma
helm/software/matita/library/nat/nat.ma
helm/software/matita/library/nat/orders.ma
helm/software/matita/library/nat/plus.ma