theory Locales temporarily disabled;
authorwenzelm
Thu Nov 22 23:46:33 2001 +0100 (2001-11-22)
changeset 122742582d16acd3d
parent 12273 7fb9840d358d
child 12275 aa2b7b475a94
theory Locales temporarily disabled;
src/HOL/ex/ROOT.ML
     1.1 --- a/src/HOL/ex/ROOT.ML	Thu Nov 22 23:45:57 2001 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Thu Nov 22 23:46:33 2001 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  time_use_thy "Recdefs";
     1.6  time_use_thy "Primrec";
     1.7 -time_use_thy "Locales";
     1.8 +(* FIXME time_use_thy "Locales"; *)
     1.9  time_use_thy "Records";
    1.10  time_use_thy "MonoidGroup";
    1.11  time_use_thy "StringEx";