Two new protocol variants

--- a/src/HOL/Auth/ROOT.ML	Thu Oct 24 10:31:17 1996 +0200
+++ b/src/HOL/Auth/ROOT.ML	Thu Oct 24 10:33:27 1996 +0200
@@ -10,10 +10,13 @@
 
 writeln"Root file for HOL/Auth";
 proof_timing := true;
+goals_limit := 1;
 
 use_thy "Shared";
 use_thy "NS_Shared";
 use_thy "OtwayRees";
 use_thy "OtwayRees_AN";
+use_thy "OtwayRees_Bad";
 use_thy "Yahalom";
+use_thy "Yahalom2";