Two new protocol variants
authorpaulson
Thu Oct 24 10:33:27 1996 +0200 (1996-10-24)
changeset 2123959f791b6f0f
parent 2122 cb302f6c9c06
child 2124 9677fdf5fc23
Two new protocol variants
src/HOL/Auth/ROOT.ML
     1.1 --- a/src/HOL/Auth/ROOT.ML	Thu Oct 24 10:31:17 1996 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Thu Oct 24 10:33:27 1996 +0200
     1.3 @@ -10,10 +10,13 @@
     1.4  
     1.5  writeln"Root file for HOL/Auth";
     1.6  proof_timing := true;
     1.7 +goals_limit := 1;
     1.8  
     1.9  use_thy "Shared";
    1.10  use_thy "NS_Shared";
    1.11  use_thy "OtwayRees";
    1.12  use_thy "OtwayRees_AN";
    1.13 +use_thy "OtwayRees_Bad";
    1.14  use_thy "Yahalom";
    1.15 +use_thy "Yahalom2";
    1.16