Tue, 02 Mar 2010 23:56:13 +0100 proper antiquotations;
wenzelm [Tue, 02 Mar 2010 23:56:13 +0100] rev 35426
proper antiquotations;
Tue, 02 Mar 2010 22:20:19 +0100 standard convention for syntax consts;
wenzelm [Tue, 02 Mar 2010 22:20:19 +0100] rev 35425
standard convention for syntax consts;
Tue, 02 Mar 2010 22:18:51 +0100 more precise scope of exception handler;
wenzelm [Tue, 02 Mar 2010 22:18:51 +0100] rev 35424
more precise scope of exception handler;
Mon, 01 Mar 2010 21:41:35 +0100 eliminated hard tabs;
wenzelm [Mon, 01 Mar 2010 21:41:35 +0100] rev 35423
eliminated hard tabs;
Mon, 01 Mar 2010 17:45:19 +0100 tuned final whitespace;
wenzelm [Mon, 01 Mar 2010 17:45:19 +0100] rev 35422
tuned final whitespace;
Mon, 01 Mar 2010 17:45:02 +0100 repaired 'definition' (cf. d8d7d1b785af);
wenzelm [Mon, 01 Mar 2010 17:45:02 +0100] rev 35421
repaired 'definition' (cf. d8d7d1b785af);
Mon, 01 Mar 2010 17:14:39 +0100 merged
wenzelm [Mon, 01 Mar 2010 17:14:39 +0100] rev 35420
merged
Mon, 01 Mar 2010 17:05:57 +0100 more recdef (and old primrec) hunting
krauss [Mon, 01 Mar 2010 17:05:57 +0100] rev 35419
more recdef (and old primrec) hunting
Mon, 01 Mar 2010 16:42:45 +0100 killed recdefs in HOL-Auth
krauss [Mon, 01 Mar 2010 16:42:45 +0100] rev 35418
killed recdefs in HOL-Auth
Mon, 01 Mar 2010 13:42:31 +0100 merged
haftmann [Mon, 01 Mar 2010 13:42:31 +0100] rev 35417
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip