]> 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)
commit03d30a78581b24842e1f425b41861e5ae8f912b5
tree3363b3fdd2503b7aac04f83de1f919538dcf2efe
parent3a6264d216f7135764964a94823e513e6564ead9
Few theorems added.`
matita/library/nat/compare.ma
matita/library/nat/div_and_mod.ma
matita/library/nat/le_arith.ma
matita/library/nat/minus.ma
matita/library/nat/nat.ma
matita/library/nat/orders.ma
matita/library/nat/plus.ma