--- a/src/Pure/Isar/method.ML Sat Jan 28 17:28:57 2006 +0100
+++ b/src/Pure/Isar/method.ML Sat Jan 28 17:28:58 2006 +0100
@@ -193,8 +193,8 @@
(* unfold/fold definitions *)
-fun unfold_meth ths = SIMPLE_METHOD (CHANGED_PROP (rewrite_goals_tac ths));
-fun fold_meth ths = SIMPLE_METHOD (CHANGED_PROP (fold_goals_tac ths));
+fun unfold_meth ths = SIMPLE_METHOD (CHANGED_PROP (ObjectLogic.unfold_tac ths));
+fun fold_meth ths = SIMPLE_METHOD (CHANGED_PROP (ObjectLogic.fold_tac ths));
(* atomize rule statements *)