diff -r e7418f8d49fe -r d468d72a458f doc-src/ROOT
--- a/doc-src/ROOT	Mon Aug 27 16:48:41 2012 +0200
+++ b/doc-src/ROOT	Mon Aug 27 17:11:55 2012 +0200
@@ -23,9 +23,8 @@
     document_dump = document, document_dump_mode = "tex"]
   theories Functions
 
-session IsarImplementation (doc) in "IsarImplementation/Thy" = HOL +
-  options [browser_info = false, document = false,
-    document_dump = document, document_dump_mode = "tex"]
+session IsarImplementation (doc) in "IsarImplementation" = HOL +
+  options [document_variants = "implementation"]
   theories
     Eq
     Integration
@@ -37,6 +36,17 @@
     Proof
     Syntax
     Tactic
+  files
+    "../iman.sty"
+    "../extra.sty"
+    "../isar.sty"
+    "../proof.sty"
+    "../underscore.sty"
+    "../ttbox.sty"
+    "../manual.bib"
+    "document/build"
+    "document/root.tex"
+    "document/style.sty"
 
 session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
   options [browser_info = false, document = false,