src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Apr 01 18:18:12 2015 +0200
+++ b/src/HOL/ROOT	Wed Apr 01 18:22:55 2015 +0200
@@ -705,7 +705,7 @@
     "ex/Measure_Not_CCC"
   document_files "root.tex"
 
-session "HOL-Nominal" (main) in Nominal = HOL +
+session "HOL-Nominal" in Nominal = HOL +
   options [document = false]
   theories Nominal