]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7efb15b) | patch
* Obsolete debugging comments removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Sep 2005 16:25:16 +0000 (16:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Sep 2005 16:25:16 +0000 (16:25 +0000)
commitab44166935d77276c04fcce50aa8281292776e29
tree3385911ff06e347c72c29c15e44395c7239450a7tree | snapshot
parent7efb15b93cf42eae8b34a12a327ee7213c1dbecccommit | diff
* Obsolete debugging comments removed
* Debugging comments by Andrea marked with "Andrea:"
helm/matita/library/higher_order_defs/functions.ma diff | blob | history
helm/matita/library/nat/div_and_mod.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/lt_arith.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/plus.ma diff | blob | history
helm/matita/library/nat/primes.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.