| Tue, 07 Jul 2009 17:39:51 +0200 | nipkow | renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int | file | diff | annotate |
| Thu, 25 Jun 2009 07:34:12 +0200 | nipkow | Cleaned up GCD | file | diff | annotate |
| Sun, 21 Jun 2009 11:50:26 +0200 | nipkow | fixed proof | file | diff | annotate |
| Fri, 19 Jun 2009 22:49:12 +0200 | nipkow | Made Pi_I [simp] | file | diff | annotate |
| Fri, 19 Jun 2009 18:33:10 +0200 | nipkow | Added NewNumberTheory by Jeremy Avigad | file | diff | annotate |