# HG changeset patch
# User wenzelm
# Date 1002187765 -7200
# Node ID 7324f018ea159079d922b2860dc34d0443d05398
# Parent  eaac65411529b775d41b27f09d5ccf68d621563a
tuned print operation;

diff -r eaac65411529 -r 7324f018ea15 src/Pure/Isar/induct_attrib.ML
--- a/src/Pure/Isar/induct_attrib.ML	Thu Oct 04 11:29:02 2001 +0200
+++ b/src/Pure/Isar/induct_attrib.ML	Thu Oct 04 11:29:25 2001 +0200
@@ -75,10 +75,10 @@
       (NetRules.merge (inductT1, inductT2), NetRules.merge (inductS1, inductS2)));
 
   fun print sg ((casesT, casesS), (inductT, inductS)) =
-    (print_rules "type cases:" sg casesT;
-      print_rules "set cases:" sg casesS;
-      print_rules "type induct:" sg inductT;
-      print_rules "set induct:" sg inductS);
+    (print_rules "induct type:" sg inductT;
+      print_rules "induct set:" sg inductS;
+      print_rules "cases type:" sg casesT;
+      print_rules "cases set:" sg casesS);
 
   fun dest ((casesT, casesS), (inductT, inductS)) =
     {type_cases = NetRules.rules casesT,