src/HOL/ROOT.ML
changeset 1982 38aafcab6890
parent 1515 4ed79ebab64d
child 2019 b45d9f2042e0
     1.1 --- a/src/HOL/ROOT.ML	Thu Sep 12 10:34:21 1996 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Thu Sep 12 10:35:11 1996 +0200
     1.3 @@ -22,10 +22,8 @@
     1.4  
     1.5  
     1.6  use_thy "HOL";
     1.7 -
     1.8  use_thy "Ord";
     1.9  use_thy "subset";
    1.10 -use     "hologic.ML";
    1.11  use     "typedef.ML";
    1.12  use_thy "Sum";
    1.13  use_thy "Gfp";