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.
simplified print_simpset;
authorwenzelm
Sat, 29 Mar 2008 22:56:00 +0100
changeset 26498 3f0231b880a7
parent 26497 1873915c64a9
child 26499 b4db4e165758
simplified print_simpset;
src/Pure/Isar/isar_cmd.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_cmd.ML	Sat Mar 29 22:55:57 2008 +0100
+++ b/src/Pure/Isar/isar_cmd.ML	Sat Mar 29 22:56:00 2008 +0100
@@ -466,9 +466,7 @@
   Toplevel.keep (Attrib.print_attributes o Toplevel.theory_of);
 
 val print_simpset = Toplevel.unknown_context o
-  Toplevel.keep (Toplevel.node_case
-    (Context.cases Simplifier.print_simpset Simplifier.print_local_simpset)
-    (Simplifier.print_local_simpset o Proof.context_of));
+  Toplevel.keep (Simplifier.print_ss o Simplifier.local_simpset_of o Toplevel.context_of);
 
 val print_rules = Toplevel.unknown_context o
   Toplevel.keep (ContextRules.print_rules o Toplevel.context_of);
isabelle