src/HOLCF/ROOT.ML
changeset 1267 bca91b4e1710
parent 1168 74be52691d62
child 1274 ea0668a1c0ba
     1.1 --- a/src/HOLCF/ROOT.ML	Wed Oct 04 13:12:14 1995 +0100
     1.2 +++ b/src/HOLCF/ROOT.ML	Wed Oct 04 14:01:44 1995 +0100
     1.3 @@ -13,58 +13,7 @@
     1.4  
     1.5  init_thy_reader();
     1.6  
     1.7 -
     1.8 -use_thy "Holcfb";
     1.9 -use_thy "Void";
    1.10 -
    1.11 -use_thy "Porder0";
    1.12 -use_thy "Porder";
    1.13 -
    1.14 -use_thy "Pcpo";
    1.15 -
    1.16 -use_thy "Fun1";
    1.17 -use_thy "Fun2";
    1.18 -use_thy "Fun3";
    1.19 -
    1.20 -use_thy "Cont";
    1.21 -
    1.22 -use_thy "Cfun1";
    1.23 -use_thy "Cfun2";
    1.24 -use_thy "Cfun3";
    1.25 -
    1.26 -use_thy "Cprod1";
    1.27 -use_thy "Cprod2";
    1.28 -use_thy "Cprod3";
    1.29 -
    1.30 -use_thy "Sprod0";
    1.31 -use_thy "Sprod1"; 
    1.32 -use_thy "Sprod2"; 
    1.33 -use_thy "Sprod3"; 
    1.34 -
    1.35 -use_thy "Ssum0";
    1.36 -use_thy "Ssum1";
    1.37 -use_thy "Ssum2";
    1.38 -use_thy "Ssum3";
    1.39 -
    1.40 -use_thy "Lift1";
    1.41 -use_thy "Lift2";
    1.42 -use_thy "Lift3";
    1.43 -
    1.44  use_thy "Fix";
    1.45 -
    1.46 -use_thy "ccc1";
    1.47 -use_thy "One";
    1.48 -use_thy "Tr1";
    1.49 -use_thy "Tr2";
    1.50 - 
    1.51 -use_thy "HOLCF";
    1.52 -
    1.53 -use_thy "Dnat";
    1.54 -use_thy "Dnat2";
    1.55 -
    1.56 -use_thy "Stream";
    1.57 -use_thy "Stream2";
    1.58 -
    1.59  use_thy "Dlist";
    1.60  
    1.61  use "../Pure/install_pp.ML";