diff -r 4d89d4f0ab17 -r 935f183bf406 src/Sequents/ex/LK/ROOT.ML
--- a/src/Sequents/ex/LK/ROOT.ML	Fri Feb 05 21:12:45 1999 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-(*  Title:      LK/ex/ROOT
-    ID:         $Id$
-    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
-    Copyright   1992  University of Cambridge
-
-Executes all examples for Classical Logic. 
-*)
-
-Sequents_build_completed;    (*Cause examples to fail if Sequents did*)
-
-writeln"Root file for LK examples";
-
-set proof_timing;
-time_use "LK/prop.ML";
-time_use "LK/quant.ML";
-time_use "LK/hardquant.ML";