doc-src/ROOT

--- a/doc-src/ROOT	Sat Jul 28 14:52:56 2012 +0200
+++ b/doc-src/ROOT	Sat Jul 28 15:21:49 2012 +0200
@@ -111,8 +111,9 @@
   theories
     Basics
     Interfaces
+    Sessions
+    Presentation
     Scala
-    Presentation
     Misc
 
 session Tutorial (doc) in "TutorialI" = HOL +