src/CCL/ex/ROOT.ML

--- a/src/CCL/ex/ROOT.ML	Sat Sep 17 14:02:31 2005 +0200
+++ b/src/CCL/ex/ROOT.ML	Sat Sep 17 17:35:26 2005 +0200
@@ -3,7 +3,7 @@
     Author:     Martin Coen, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
-Executes all examples for Classical Computational Logic
+Examples for Classical Computational Logic.
 *)
 
 time_use_thy "Nat";