]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 26 Sep 2005 08:57:20 +0000 (08:57 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 26 Sep 2005 08:57:20 +0000 (08:57 +0000) | ||
commit | 2c22c8fe144cbce796168ffd9843a87f06dcfa76 | |
tree | e40647039e01095ca438cc5006768cb4357d25f0 | tree | snapshot |
parent | a82fc7fac28ab55650be57a127c3e3230981f72d | commit | diff |
helm/matita/library/nat/primes.ma | diff | blob | history |