diff -r 0095de9e9da0 -r b34ff75c23a7 doc-src/ROOT
--- a/doc-src/ROOT	Mon Jul 30 17:07:23 2012 +0200
+++ b/doc-src/ROOT	Mon Jul 30 17:25:45 2012 +0200
@@ -118,7 +118,7 @@
 session Tutorial (doc) in "TutorialI" = HOL +
   options [browser_info = false, document = false,
     document_dump = document, document_dump_mode = "tex",
-    print_mode = "brackets", threads = 1 (* FIXME *)]
+    print_mode = "brackets"]
   theories [thy_output_indent = 5]
     "ToyList/ToyList"
     "Ifexpr/Ifexpr"
@@ -157,7 +157,7 @@
     "Documents/Documents"
   theories [document_dump = ""]
     "Types/Setup"
-  theories
+  theories [pretty_margin = 64, thy_output_indent = 0]
     "Types/Numbers"
     "Types/Pairs"
     "Types/Records"
@@ -167,6 +167,8 @@
     "Rules/Basic"
     "Rules/Blast"
     "Rules/Force"
+  theories [pretty_margin = 64, thy_output_indent = 5]
+    "Rules/Primes"
     "Rules/Forward"
     "Rules/Tacticals"
     "Rules/find2"