src/CCL/ex/ROOT.ML

--- a/src/CCL/ex/ROOT.ML	Tue May 30 16:03:09 2000 +0200
+++ b/src/CCL/ex/ROOT.ML	Tue May 30 16:08:38 2000 +0200
@@ -1,4 +1,4 @@
-(*  Title:      CCL/ex/ROOT
+(*  Title:      CCL/ex/ROOT.ML
     ID:         $Id$
     Author:     Martin Coen, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
@@ -6,9 +6,6 @@
 Executes all examples for Classical Computational Logic
 *)
 
-writeln"Root file for CCL examples";
-set proof_timing;
-
 time_use_thy "Nat";
 time_use_thy "List";
 time_use_thy "Stream";