Tue, 07 Jul 2009 17:39:51 +0200 | nipkow | renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int | file | diff | annotate |
Tue, 23 Jun 2009 12:08:34 +0200 | haftmann | dropped duplicated lemmas, tuned header | file | diff | annotate |
Fri, 19 Jun 2009 22:49:12 +0200 | nipkow | Made Pi_I [simp] | file | diff | annotate |
Fri, 19 Jun 2009 20:22:28 +0200 | nipkow | tuned | file | diff | annotate |
Fri, 19 Jun 2009 18:33:10 +0200 | nipkow | Added NewNumberTheory by Jeremy Avigad | file | diff | annotate |