src/HOL/Auth/ROOT.ML
changeset 14307 1cbc24648cf7
parent 14145 2e31b8cc8788
child 14716 1846cc85ada1
     1.1 --- a/src/HOL/Auth/ROOT.ML	Sun Dec 21 08:27:44 2003 +0100
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Sun Dec 21 18:39:27 2003 +0100
     1.3 @@ -6,7 +6,6 @@
     1.4  Root file for protocol proofs.
     1.5  *)
     1.6  
     1.7 -goals_limit := 1;
     1.8  set timing;
     1.9  
    1.10  (*Shared-key protocols*)
    1.11 @@ -23,7 +22,6 @@
    1.12  time_use_thy "Yahalom_Bad";
    1.13  time_use_thy "ZhouGollmann";
    1.14  
    1.15 -
    1.16  (*Public-key protocols*)
    1.17  time_use_thy "NS_Public_Bad";
    1.18  time_use_thy "NS_Public";