]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 564d4fe) | patch
More notation here and there: \sup, \divides, \ndivides, !
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 17:30:11 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Sep 2005 17:30:11 +0000 (17:30 +0000)
commit30b7e65d641fe7243c4f36ed448f56360a1c5e1c
treee8e48b3bc6db6c8f16395b4463eb24fd13a2ea59tree | snapshot
parent564d4fe0793c625b9c6be05fa05d5fbb50c61703commit | diff
More notation here and there: \sup, \divides, \ndivides, !
helm/matita/core_notation.moo diff | blob | history
helm/matita/library/logic/connectives.ma diff | blob | history
helm/matita/library/nat/compare.ma diff | blob | history
helm/matita/library/nat/factorial.ma diff | blob | history
helm/matita/library/nat/factorization.ma diff | blob | history
helm/matita/library/nat/gcd.ma diff | blob | history
helm/matita/library/nat/log.ma diff | blob | history
helm/matita/library/nat/minus.ma diff | blob | history
helm/matita/library/nat/nth_prime.ma diff | blob | history
helm/matita/library/nat/primes.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.