src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Fri Jul 02 14:23:17 2010 +0200
+++ b/src/HOL/ROOT.ML	Fri Jul 02 14:23:17 2010 +0200
@@ -1,3 +1,4 @@
-(* Classical Higher-order Logic -- batteries included *)
+
+(* Classical Higher-order Logic *)
 
 use_thys ["Complex_Main"];