--- a/src/Pure/Isar/context_rules.ML Thu Nov 23 22:38:29 2006 +0100
+++ b/src/Pure/Isar/context_rules.ML Thu Nov 23 22:38:30 2006 +0100
@@ -15,7 +15,7 @@
val orderlist: ((int * int) * 'a) list -> 'a list
val find_rules_netpair: bool -> thm list -> term -> netpair -> thm list
val find_rules: bool -> thm list -> term -> Proof.context -> thm list list
- val print_rules: Context.generic -> unit
+ val print_rules: Proof.context -> unit
val addSWrapper: ((int -> tactic) -> int -> tactic) -> theory -> theory
val addWrapper: ((int -> tactic) -> int -> tactic) -> theory -> theory
val Swrap: Proof.context -> (int -> tactic) -> int -> tactic
@@ -125,7 +125,7 @@
);
val _ = Context.add_setup Rules.init;
-val print_rules = Rules.print;
+val print_rules = Rules.print o Context.Proof;
(* access data *)