--- a/src/Pure/Isar/calculation.ML Thu Nov 23 22:38:29 2006 +0100
+++ b/src/Pure/Isar/calculation.ML Thu Nov 23 22:38:30 2006 +0100
@@ -7,7 +7,7 @@
signature CALCULATION =
sig
- val print_rules: Context.generic -> unit
+ val print_rules: Proof.context -> unit
val get_calculation: Proof.state -> thm list option
val trans_add: attribute
val trans_del: attribute
@@ -47,7 +47,7 @@
);
val _ = Context.add_setup CalculationData.init;
-val print_rules = CalculationData.print;
+val print_rules = CalculationData.print o Context.Proof;
(* access calculation *)