mueller [Mon, 12 Jan 1998 17:51:32 +0100] rev 4563
added abstraction files;
mueller [Mon, 12 Jan 1998 17:51:05 +0100] rev 4562
added further IOA liles;
wenzelm [Mon, 12 Jan 1998 17:49:12 +0100] rev 4561
updated to Isabelle98;
wenzelm [Mon, 12 Jan 1998 17:48:55 +0100] rev 4560
tuned;
mueller [Mon, 12 Jan 1998 17:48:23 +0100] rev 4559
added files containing temproal logic and abstraction;
wenzelm [Mon, 12 Jan 1998 17:26:34 +0100] rev 4558
Delsimprocs nat_cancel;
wenzelm [Mon, 12 Jan 1998 17:26:00 +0100] rev 4557
tuned;
paulson [Mon, 12 Jan 1998 16:56:39 +0100] rev 4556
Tidying, mostly to do with handling a more specific version of Fake_parts_insert
wenzelm [Mon, 12 Jan 1998 15:47:43 +0100] rev 4555
tuned;
wenzelm [Mon, 12 Jan 1998 13:48:40 +0100] rev 4554
tuned;
wenzelm [Mon, 12 Jan 1998 13:32:47 +0100] rev 4553
fixed author;
paulson [Sat, 10 Jan 1998 17:59:32 +0100] rev 4552
Simplified proofs by omitting PA = {|XA, ...|} from RA2
paulson [Sat, 10 Jan 1998 17:58:42 +0100] rev 4551
trivial tidy
wenzelm [Fri, 09 Jan 1998 20:28:18 +0100] rev 4550
tuned;
wenzelm [Fri, 09 Jan 1998 20:07:57 +0100] rev 4549
automatic index.html patch;
wenzelm [Fri, 09 Jan 1998 14:28:20 +0100] rev 4548
tuned;
wenzelm [Fri, 09 Jan 1998 14:03:39 +0100] rev 4547
tuned ISABELLE_TMP_PREFIX;
wenzelm [Fri, 09 Jan 1998 14:02:34 +0100] rev 4546
thm_ord;
wenzelm [Fri, 09 Jan 1998 14:02:09 +0100] rev 4545
eliminated make_ord;
wenzelm [Fri, 09 Jan 1998 14:01:48 +0100] rev 4544
ISABELLE_TMP_PREFIX: $LOGNAME
wenzelm [Fri, 09 Jan 1998 13:49:20 +0100] rev 4543
several minor updates;
wenzelm [Thu, 08 Jan 1998 19:04:33 +0100] rev 4542
tuned;
wenzelm [Thu, 08 Jan 1998 18:28:03 +0100] rev 4541
index.html for Isabelle Distribution Area;
wenzelm [Thu, 08 Jan 1998 18:25:36 +0100] rev 4540
updated to Isabelle98;
wenzelm [Thu, 08 Jan 1998 18:24:45 +0100] rev 4539
tuned;
wenzelm [Thu, 08 Jan 1998 18:19:48 +0100] rev 4538
fixed thm_less;
paulson [Thu, 08 Jan 1998 18:10:34 +0100] rev 4537
Expressed most Oops rules using Notes instead of Says, and other tidying
oheimb [Thu, 08 Jan 1998 18:09:47 +0100] rev 4536
added split_paired_Ex to the implicit simpset