wenzelm [Wed, 14 Jan 1998 10:31:32 +0100] rev 4572
tuned;
wenzelm [Wed, 14 Jan 1998 10:30:44 +0100] rev 4571
added unit and prod stuff;
wenzelm [Wed, 14 Jan 1998 10:30:01 +0100] rev 4570
fixed Id;
wenzelm [Wed, 14 Jan 1998 10:28:21 +0100] rev 4569
smlnj-110 factory default;
wenzelm [Wed, 14 Jan 1998 10:24:57 +0100] rev 4568
added of_sort;
wenzelm [Tue, 13 Jan 1998 18:03:37 +0100] rev 4567
added base_path;
mueller [Tue, 13 Jan 1998 14:31:09 +0100] rev 4566
added simulations files to IOA;
mueller [Tue, 13 Jan 1998 14:26:21 +0100] rev 4565
added forward simulation correectness;
narasche [Tue, 13 Jan 1998 10:40:38 +0100] rev 4564
Simplification: sel make and update make
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;