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.
output whitespace tuning
authorhaftmann
Wed, 18 Aug 2010 10:07:56 +0200
changeset 38507 06728ef076a7
parent 38506 03d767575713
child 38508 7b34c51b05a4
output whitespace tuning
doc-src/Codegen/Thy/Further.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/Codegen/Thy/Further.thy	Wed Aug 18 10:07:56 2010 +0200
+++ b/doc-src/Codegen/Thy/Further.thy	Wed Aug 18 10:07:56 2010 +0200
@@ -209,8 +209,9 @@
   @{index_ML Code.del_eqn: "thm -> theory -> theory"} \\
   @{index_ML Code_Preproc.map_pre: "(simpset -> simpset) -> theory -> theory"} \\
   @{index_ML Code_Preproc.map_post: "(simpset -> simpset) -> theory -> theory"} \\
-  @{index_ML Code_Preproc.add_functrans: "string * (theory -> (thm * bool) list -> (thm * bool) list option)
-    -> theory -> theory"} \\
+  @{index_ML Code_Preproc.add_functrans: "
+    string * (theory -> (thm * bool) list -> (thm * bool) list option)
+      -> theory -> theory"} \\
   @{index_ML Code_Preproc.del_functrans: "string -> theory -> theory"} \\
   @{index_ML Code.add_datatype: "(string * typ) list -> theory -> theory"} \\
   @{index_ML Code.get_type: "theory -> string
isabelle