Loads new public-key examples
authorpaulson
Thu Dec 05 19:01:49 1996 +0100 (1996-12-05)
changeset 2325ea8a1fc512e6
parent 2324 7c252931a72c
child 2326 6df4488339e4
Loads new public-key examples
src/HOL/Auth/ROOT.ML
     1.1 --- a/src/HOL/Auth/ROOT.ML	Thu Dec 05 19:01:09 1996 +0100
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Thu Dec 05 19:01:49 1996 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  proof_timing := true;
     1.5  goals_limit := 1;
     1.6  
     1.7 -use_thy "Shared";
     1.8 +(*Shared-key protocols*)
     1.9  use_thy "NS_Shared";
    1.10  use_thy "OtwayRees";
    1.11  use_thy "OtwayRees_AN";
    1.12 @@ -21,3 +21,7 @@
    1.13  use_thy "Yahalom";
    1.14  use_thy "Yahalom2";
    1.15  
    1.16 +(*Public-key protocols*)
    1.17 +use_thy "NS_Public_Bad";
    1.18 +use_thy "NS_Public";
    1.19 +