# HG changeset patch
# User haftmann
# Date 1282118876 -7200
# Node ID 06728ef076a75227b7699339f3a6f786e8120c32
# Parent  03d767575713e15c27f6570ba932a52d5844a2ed
output whitespace tuning

diff -r 03d767575713 -r 06728ef076a7 doc-src/Codegen/Thy/Further.thy
--- 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