| Mon, 19 Jul 2010 16:09:44 +0200 | haftmann | diff_minus subsumes diff_def | file | diff | annotate |
| Sun, 09 May 2010 17:47:43 -0700 | huffman | avoid using real-specific versions of generic lemmas | file | diff | annotate |
| Thu, 18 Feb 2010 14:21:44 -0800 | huffman | get rid of many duplicate simp rule warnings | file | diff | annotate |
| Sat, 16 Jan 2010 17:15:28 +0100 | haftmann | dropped some old primrecs and some constdefs | file | diff | annotate |
| Sun, 15 Nov 2009 00:34:21 +0100 | wenzelm | simplified bulky metis proofs; | file | diff | annotate |
| Fri, 13 Nov 2009 15:38:45 +0100 | wenzelm | more "anti_sym" -> "antisym" (cf. a4179bf442d1); | file | diff | annotate |
| Fri, 13 Nov 2009 11:33:33 +0000 | paulson | A number of theorems contributed by Jeremy Avigad | file | diff | annotate |