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