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