src/CCL/ex/ROOT.ML
changeset 17456 bcf7544875b2
parent 9000 c20d58286a51
child 24106 f2965bf954dc
--- 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";