mueller [Wed, 03 Sep 1997 16:25:30 +0200] rev 3656
some minor changes;
mueller [Wed, 03 Sep 1997 16:24:46 +0200] rev 3655
new extended adm tactic introduced;
nipkow [Tue, 02 Sep 1997 17:02:02 +0200] rev 3654
Added True_implies_equals
nipkow [Tue, 02 Sep 1997 16:10:26 +0200] rev 3653
Added Larry's equal_intr_rule
oheimb [Tue, 02 Sep 1997 11:25:32 +0200] rev 3652
added case_prover
paulson [Thu, 21 Aug 1997 12:57:24 +0200] rev 3651
Simplified the statement of A_trusts_NS2
paulson [Thu, 21 Aug 1997 12:56:29 +0200] rev 3650
Replacing impOfSubs analz_mono by analz_insertI should improve convergence
of spy_analz_tac
paulson [Thu, 21 Aug 1997 12:55:10 +0200] rev 3649
Renamed set_of_list to set, and relevant theorems too
paulson [Thu, 21 Aug 1997 12:54:20 +0200] rev 3648
Replaced Suc(Suc 0) by 2; it improves readability a little
paulson [Thu, 21 Aug 1997 12:53:23 +0200] rev 3647
Renamed theorems of the form set_of_list_XXX to set_XXX