Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned print operation;
authorwenzelm
Thu, 04 Oct 2001 11:29:25 +0200
changeset 11665 7324f018ea15
parent 11664 eaac65411529
child 11666 60d9f1069fa9
tuned print operation;
src/Pure/Isar/induct_attrib.ML file | annotate | diff | comparison | revisions 
--- 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,
isabelle