--- a/src/LK/ex/ROOT.ML Tue Nov 09 13:25:07 1993 +0100
+++ b/src/LK/ex/ROOT.ML Tue Nov 09 13:32:45 1993 +0100
@@ -13,6 +13,6 @@
proof_timing := true;
time_use "ex/prop.ML";
time_use "ex/quant.ML";
-time_use "ex/hard-quant.ML";
+time_use "ex/hardquant.ML";
maketest"END: Root file for LK examples";