Thu, 05 Feb 1998 11:19:51 +0100 added THEN_ALL_NEW;
wenzelm [Thu, 05 Feb 1998 11:19:51 +0100] rev 4602
added THEN_ALL_NEW;
Thu, 05 Feb 1998 10:48:43 +0100 New theorem Image_id
paulson [Thu, 05 Feb 1998 10:48:43 +0100] rev 4601
New theorem Image_id
Thu, 05 Feb 1998 10:47:29 +0100 New theorem order_eq_refl
paulson [Thu, 05 Feb 1998 10:47:29 +0100] rev 4600
New theorem order_eq_refl
Thu, 05 Feb 1998 10:46:31 +0100 New max, min theorems
paulson [Thu, 05 Feb 1998 10:46:31 +0100] rev 4599
New max, min theorems
Thu, 05 Feb 1998 10:38:34 +0100 Added some more explicit guarantees of key secrecy for agents
paulson [Thu, 05 Feb 1998 10:38:34 +0100] rev 4598
Added some more explicit guarantees of key secrecy for agents Deleted spurious A~=Spy assumptions
Thu, 05 Feb 1998 10:26:59 +0100 Fixed a lot of overfull and underfull lines (hboxes)
paulson [Thu, 05 Feb 1998 10:26:59 +0100] rev 4597
Fixed a lot of overfull and underfull lines (hboxes)
Thu, 05 Feb 1998 10:26:16 +0100 Updated the description of how to set up hyp_subst_tac
paulson [Thu, 05 Feb 1998 10:26:16 +0100] rev 4596
Updated the description of how to set up hyp_subst_tac
Mon, 02 Feb 1998 12:57:20 +0100 New example, Pow_Sigma_bij
paulson [Mon, 02 Feb 1998 12:57:20 +0100] rev 4595
New example, Pow_Sigma_bij
Mon, 02 Feb 1998 12:56:24 +0100 fixed WWW links
paulson [Mon, 02 Feb 1998 12:56:24 +0100] rev 4594
fixed WWW links
Mon, 02 Feb 1998 12:55:39 +0100 Three new facts about Image
paulson [Mon, 02 Feb 1998 12:55:39 +0100] rev 4593
Three new facts about Image
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip