Mon, 13 Sep 2010 11:13:15 +0200 | nipkow | renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI | file | diff | annotate |
Wed, 08 Sep 2010 19:21:46 +0200 | haftmann | modernized primrec | file | diff | annotate |
Tue, 07 Sep 2010 10:05:19 +0200 | nipkow | expand_fun_eq -> ext_iff | file | diff | annotate |
Mon, 28 Jun 2010 15:32:17 +0200 | haftmann | explicit is better than implicit | file | diff | annotate |
Mon, 26 Apr 2010 11:34:19 +0200 | haftmann | dropped group_simps, ring_simps, field_eq_simps | file | diff | annotate |
Fri, 05 Feb 2010 14:33:50 +0100 | haftmann | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | file | diff | annotate |
Wed, 28 Oct 2009 00:24:38 +0100 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Sun, 25 Oct 2009 08:57:36 +0100 | chaieb | A theory of polynomials based on lists | file | diff | annotate |