--- a/src/HOLCF/IOA/ex/ROOT.ML Tue May 30 16:03:09 2000 +0200 +++ b/src/HOLCF/IOA/ex/ROOT.ML Tue May 30 16:08:38 2000 +0200 @@ -9,6 +9,5 @@ goals_limit := 1; - -use_thy "TrivEx"; -use_thy "TrivEx2"; +time_use_thy "TrivEx"; +time_use_thy "TrivEx2";