src/HOL/IMP/ROOT.ML
changeset 1025 23190112d369
parent 951 682139612060
child 1165 97b2bb5d43c3
     1.1 --- a/src/HOL/IMP/ROOT.ML	Mon Apr 10 08:40:58 1995 +0200
     1.2 +++ b/src/HOL/IMP/ROOT.ML	Mon Apr 10 08:47:43 1995 +0200
     1.3 @@ -19,7 +19,6 @@
     1.4  writeln"Root file for CHOL/IMP";
     1.5  proof_timing := true;
     1.6  loadpath := [".","IMP"];
     1.7 -(time_use_thy "Properties";
     1.8 - time_use_thy "Equiv";
     1.9 - time_use_thy "Hoare"
    1.10 -) handle _ => exit 1;
    1.11 +time_use_thy "Properties";
    1.12 +time_use_thy "Equiv";
    1.13 +time_use_thy "Hoare";