src/HOLCF/ex/ROOT.ML
changeset 1274 ea0668a1c0ba
parent 893 f81cb7520372
child 1306 7c9c96e3621b
     1.1 --- a/src/HOLCF/ex/ROOT.ML	Fri Oct 06 16:17:08 1995 +0100
     1.2 +++ b/src/HOLCF/ex/ROOT.ML	Fri Oct 06 17:25:24 1995 +0100
     1.3 @@ -10,10 +10,9 @@
     1.4  
     1.5  writeln"Root file for HOLCF examples";
     1.6  proof_timing := true;
     1.7 -time_use_thy "ex/Coind";
     1.8  time_use_thy "ex/Hoare";
     1.9  time_use_thy "ex/Loop";
    1.10 -time_use_thy "ex/Dagstuhl";
    1.11 +time_use_thy "ex/Fix2";
    1.12  time_use "ex/loeckx.ML";
    1.13  
    1.14  maketest     "END: Root file for HOLCF examples";