# HG changeset patch
# User wenzelm
# Date 1138465738 -3600
# Node ID 126049347167c13630643054b3c77905384522f1
# Parent  916c493b7f0ca7729a389834fac30efe67afe998
(un)fold: support object-level rewrites;

diff -r 916c493b7f0c -r 126049347167 src/Pure/Isar/method.ML
--- 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 *)