Tue, 07 Jul 2009 17:39:51 +0200 | nipkow | renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int | file | diff | annotate |
Wed, 24 Jun 2009 17:50:49 +0200 | nipkow | Replaced Suc_remove by Suc_eq_plus1 | file | diff | annotate |
Fri, 19 Jun 2009 18:33:10 +0200 | nipkow | Added NewNumberTheory by Jeremy Avigad | file | diff | annotate |