wenzelm [Thu, 15 Jan 1998 14:16:46 +0100] rev 4580
tuned URL;
wenzelm [Thu, 15 Jan 1998 14:15:57 +0100] rev 4579
polyml-3.1;
wenzelm [Thu, 15 Jan 1998 13:57:58 +0100] rev 4578
obsolete;
mueller [Wed, 14 Jan 1998 16:38:04 +0100] rev 4577
added thms wrt weakening and strengthening in Abstraction;
wenzelm [Wed, 14 Jan 1998 11:22:03 +0100] rev 4576
New Jersey inactive;
wenzelm [Wed, 14 Jan 1998 11:21:35 +0100] rev 4575
HOL/record;
narasche [Wed, 14 Jan 1998 11:10:19 +0100] rev 4574
error with instantiantion of sub-records removed
wenzelm [Wed, 14 Jan 1998 10:32:24 +0100] rev 4573
added record.ML;
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;
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
oheimb [Thu, 08 Jan 1998 18:09:07 +0100] rev 4535
added select_equality to the implicit claset
oheimb [Thu, 08 Jan 1998 18:08:43 +0100] rev 4534
added select_equality to the implicit claset
added split_paired_Ex, split_part, and Eps_split_eq to the implicit simpset
removed split_select
renamed Collect_Prod to Collect_split
oheimb [Thu, 08 Jan 1998 18:07:06 +0100] rev 4533
added newline at end of file
oheimb [Thu, 08 Jan 1998 18:06:21 +0100] rev 4532
*** empty log message ***
oheimb [Thu, 08 Jan 1998 18:03:36 +0100] rev 4531
streamlined specification of included theories
oheimb [Thu, 08 Jan 1998 18:00:42 +0100] rev 4530
corrected Title
oheimb [Thu, 08 Jan 1998 18:00:08 +0100] rev 4529
removed obsolete comment
oheimb [Thu, 08 Jan 1998 17:56:32 +0100] rev 4528
added Univalent
oheimb [Thu, 08 Jan 1998 17:47:22 +0100] rev 4527
removed Eps_eq, ex1_Eps_eq, and some unnecessary parentheses
oheimb [Thu, 08 Jan 1998 17:44:50 +0100] rev 4526
added update_same, update_other, update_triv, and map_of_SomeD
oheimb [Thu, 08 Jan 1998 17:42:26 +0100] rev 4525
replaced fn _ => by K
wenzelm [Thu, 08 Jan 1998 16:52:31 +0100] rev 4524
*** empty log message ***
paulson [Thu, 08 Jan 1998 11:24:46 +0100] rev 4523
New rule: image_subset
paulson [Thu, 08 Jan 1998 11:23:18 +0100] rev 4522
Restored the ciphertext in OR4 in order to make the spec closer to that in
OtwayRees.thy
paulson [Thu, 08 Jan 1998 11:21:45 +0100] rev 4521
Tidied by adding more default simprules