src/HOLCF/IOA/NTP/ROOT.ML

--- a/src/HOLCF/IOA/NTP/ROOT.ML	Sat May 27 19:49:36 2006 +0200
+++ b/src/HOLCF/IOA/NTP/ROOT.ML	Sat May 27 21:00:31 2006 +0200
@@ -7,6 +7,4 @@
 Mueller.
 *)
 
-goals_limit := 1;
-
-time_use_thy "Correctness";
+use_thy "Correctness";