]> matita.cs.unibo.it Git - helm.git/commit
More notation here and there.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 11:59:54 +0000 (11:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 11:59:54 +0000 (11:59 +0000)
commit373b88228a8f9a6b4b4dcf781bc166865f89f43d
tree04f0321839ee1704f16179cd2d71a33751e62032
parentb75631eb92b06591c86cd4563d753cd8ed7e11b7
More notation here and there.
14 files changed:
helm/matita/core_notation.moo
helm/matita/library/Q/q.ma
helm/matita/library/Z/plus.ma
helm/matita/library/Z/times.ma
helm/matita/library/Z/z.ma
helm/matita/library/nat/exp.ma
helm/matita/library/nat/factorial.ma
helm/matita/library/nat/factorization.ma
helm/matita/library/nat/le_arith.ma
helm/matita/library/nat/log.ma
helm/matita/library/nat/lt_arith.ma
helm/matita/library/nat/nth_prime.ma
helm/matita/library/nat/primes.ma
helm/matita/library/nat/primes1.ma