]> matita.cs.unibo.it Git - helm.git/commit
More notation here and there.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 17:40:42 +0000 (17:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 17:40:42 +0000 (17:40 +0000)
commit73e63e535940a068e660d3688a3c8ebfa1930561
tree31c7eadf0fd6befde50190b32d92a18daafffce7
parent30b7e65d641fe7243c4f36ed448f56360a1c5e1c
More notation here and there.
12 files changed:
helm/matita/library/Q/q.ma
helm/matita/library/Z/compare.ma
helm/matita/library/Z/z.ma
helm/matita/library/datatypes/bool.ma
helm/matita/library/nat/compare.ma
helm/matita/library/nat/div_and_mod.ma
helm/matita/library/nat/factorization.ma
helm/matita/library/nat/log.ma
helm/matita/library/nat/lt_arith.ma
helm/matita/library/nat/minus.ma
helm/matita/library/nat/nat.ma
helm/matita/library/nat/orders.ma