--- a/src/Pure/Isar/isar_cmd.ML Thu Oct 04 14:42:11 2007 +0200
+++ b/src/Pure/Isar/isar_cmd.ML Thu Oct 04 14:42:47 2007 +0200
@@ -85,7 +85,6 @@
val print_attributes: Toplevel.transition -> Toplevel.transition
val print_simpset: Toplevel.transition -> Toplevel.transition
val print_rules: Toplevel.transition -> Toplevel.transition
- val print_induct_rules: Toplevel.transition -> Toplevel.transition
val print_trans_rules: Toplevel.transition -> Toplevel.transition
val print_methods: Toplevel.transition -> Toplevel.transition
val print_antiquotations: Toplevel.transition -> Toplevel.transition
@@ -472,9 +471,6 @@
val print_rules = Toplevel.unknown_context o
Toplevel.keep (ContextRules.print_rules o Toplevel.context_of);
-val print_induct_rules = Toplevel.unknown_context o
- Toplevel.keep (InductAttrib.print_rules o Toplevel.context_of);
-
val print_trans_rules = Toplevel.unknown_context o
Toplevel.keep (Calculation.print_rules o Toplevel.context_of);