diff -r fd19f77dcf60 -r 75166ebb619b src/Sequents/LK/ROOT.ML
--- a/src/Sequents/LK/ROOT.ML	Sun Sep 18 14:25:48 2005 +0200
+++ b/src/Sequents/LK/ROOT.ML	Sun Sep 18 15:20:08 2005 +0200
@@ -3,7 +3,7 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge
 
-Executes all examples for Classical Logic. 
+Examples for Classical Logic.
 *)
 
 time_use "prop.ML";