diff -r cbb25adad26f -r a78e5d399599 src/HOL/ROOT
--- a/src/HOL/ROOT	Thu Jul 19 14:15:08 2012 +0200
+++ b/src/HOL/ROOT	Thu Jul 19 14:24:40 2012 +0200
@@ -1,4 +1,4 @@
-session HOL! in "." = Pure +
+session HOL! (1) in "." = Pure +
   description {* Classical Higher-order Logic *}
   options [document_graph]
   theories Complex_Main
@@ -19,12 +19,12 @@
   options [document = false]
   theories Main
 
-session "HOL-Proofs"! in "." = Pure +
+session "HOL-Proofs"! (2) in "." = Pure +
   description {* HOL-Main with proof terms *}
   options [document = false, proofs = 2, parallel_proofs = false]
   theories Main
 
-session HOLCF! = HOL +
+session HOLCF! (3) = HOL +
   description {*
     Author:     Franz Regensburger
     Author:     Brian Huffman