--- a/src/Pure/Isar/method.ML Tue Oct 15 15:37:57 2002 +0200
+++ b/src/Pure/Isar/method.ML Thu Oct 17 10:52:59 2002 +0200
@@ -337,7 +337,7 @@
val eres_inst = gen_res_inst Tactic.eres_inst_tac Tactic.eresolve_tac;
val dres_inst = gen_res_inst Tactic.dres_inst_tac Tactic.dresolve_tac;
val forw_inst = gen_res_inst Tactic.forw_inst_tac Tactic.forward_tac;
-val cut_inst = gen_res_inst Tactic.cut_inst_tac Tactic.cut_facts_tac;
+val cut_inst = gen_res_inst Tactic.cut_inst_tac Tactic.cut_rules_tac;
(* simple Prolog interpreter *)