diff -r 7eee8b2d2099 -r fa49f8890ef3 doc-src/ROOT
--- a/doc-src/ROOT	Mon Aug 27 22:00:04 2012 +0200
+++ b/doc-src/ROOT	Mon Aug 27 22:14:17 2012 +0200
@@ -18,10 +18,20 @@
     Adaptation
     Further
 
-session Functions (doc) in "Functions/Thy" = HOL +
-  options [browser_info = false, document = false,
-    document_dump = document, document_dump_mode = "tex"]
+session Functions (doc) in "Functions" = HOL +
+  options [document_variants = "functions"]
   theories Functions
+  files
+    "../iman.sty"
+    "../extra.sty"
+    "../isar.sty"
+    "../manual.bib"
+    "document/build"
+    "document/conclusion.tex"
+    "document/intro.tex"
+    "document/mathpartir.sty"
+    "document/root.tex"
+    "document/style.sty"
 
 session IsarImplementation (doc) in "IsarImplementation" = HOL +
   options [document_variants = "implementation"]