src/HOL/ex/ROOT.ML
changeset 12080 4c1e3a2a87c3
parent 11586 d8a7f6318457
child 12105 1e4451999200
     1.1 --- a/src/HOL/ex/ROOT.ML	Tue Nov 06 23:51:00 2001 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Tue Nov 06 23:51:16 2001 +0100
     1.3 @@ -19,6 +19,7 @@
     1.4  time_use_thy "MonoidGroup";
     1.5  time_use_thy "Records";
     1.6  
     1.7 +time_use_thy "Locales";
     1.8  time_use_thy "StringEx";
     1.9  time_use_thy "BinEx";
    1.10