src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Jul 26 12:59:09 2012 +0200
+++ b/src/HOL/ROOT	Thu Jul 26 13:35:31 2012 +0200
@@ -19,7 +19,7 @@
   options [document = false]
   theories Main
 
-session "HOL-Proofs"! (main) in "." = Pure +
+session "HOL-Proofs"! in "." = Pure +
   description {* HOL-Main with explicit proof terms *}
   options [document = false, proofs = 2, parallel_proofs = 0]
   theories Main