]> matita.cs.unibo.it Git - helm.git/commit
completed use of \mod and / notation
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 12:56:30 +0000 (12:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 12:56:30 +0000 (12:56 +0000)
commit63e834c4fbcb3d015f418989ccd6d2fc8c3dd9ab
tree015370b9ea77ab00c0d5559ae11ed36e934fdf20
parent52af7765998e63d8a697eb50ff912ce76c081da4
completed use of \mod and / notation
helm/matita/library/nat/factorization.ma
helm/matita/library/nat/gcd.ma
helm/matita/library/nat/lt_arith.ma
helm/matita/library/nat/ord.ma
helm/matita/library/nat/primes.ma
helm/matita/library/nat/primes1.ma