src/HOL/ROOT.ML
changeset 1273 6960ec882bca
parent 1264 3eb91524b938
child 1296 ae31bb7774a7
     1.1 --- a/src/HOL/ROOT.ML	Fri Oct 06 14:43:26 1995 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Fri Oct 06 16:17:08 1995 +0100
     1.3 @@ -61,6 +61,7 @@
     1.4                       addSEs [exE,ex1E] addEs [allE];
     1.5  
     1.6  use     "simpdata.ML";
     1.7 +
     1.8  use_thy "Ord";
     1.9  use_thy "subset";
    1.10  use     "hologic.ML";