--- a/src/HOLCF/IOA/ABP/ROOT.ML Fri Sep 03 17:43:44 2010 +0200
+++ b/src/HOLCF/IOA/ABP/ROOT.ML Fri Sep 03 17:54:43 2010 +0200
@@ -4,8 +4,5 @@
This is the ROOT file for the Alternating Bit Protocol performed in
I/O-Automata.
*)
-
-goals_limit := 1;
-
use "Check.ML";
use_thys ["Correctness"];
--- a/src/HOLCF/IOA/Storage/ROOT.ML Fri Sep 03 17:43:44 2010 +0200
+++ b/src/HOLCF/IOA/Storage/ROOT.ML Fri Sep 03 17:54:43 2010 +0200
@@ -3,7 +3,4 @@
Memory storage case study.
*)
-
-goals_limit := 1;
-
use_thys ["Correctness"];