# HG changeset patch
# User paulson
# Date 846146007 -7200
# Node ID 959f791b6f0f9a647250e53709165b5876a50dab
# Parent  cb302f6c9c0630d936561d58cbbd3e43882cbc2a
Two new protocol variants

diff -r cb302f6c9c06 -r 959f791b6f0f src/HOL/Auth/ROOT.ML
--- 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";