diff -r b34ff75c23a7 -r 795d38a6dab3 doc-src/ROOT
--- a/doc-src/ROOT	Mon Jul 30 17:25:45 2012 +0200
+++ b/doc-src/ROOT	Mon Jul 30 17:37:34 2012 +0200
@@ -177,6 +177,10 @@
     "Sets/Relations"
     "Sets/Recur"
 
+session ToyList2 (doc) in "TutorialI/ToyList2" = HOL +
+  options [browser_info = false, document = false, print_mode = "brackets"]
+  theories ToyList
+
 session examples (doc) in "ZF" = ZF +
   options [browser_info = false, document = false,
     document_dump = document, document_dump_mode = "tex",