src/Pure/Isar/locale.ML
changeset 13460 ced7a699282b
parent 13442 70479ec9f44f
child 13629 a46362d2b19b
equal deleted inserted replaced
13459:83f41b047a39 13460:ced7a699282b
   988 
   988 
   989 
   989 
   990 (** locale theory setup **)
   990 (** locale theory setup **)
   991 
   991 
   992 val setup =
   992 val setup =
   993  [LocalesData.init];
   993  [LocalesData.init,
   994 
   994   add_locale_i true "var" empty [Elem (Fixes [(Syntax.internal "x", None, Some Syntax.NoSyn)])],
   995 end;
   995   add_locale_i true "struct" empty [Elem (Fixes [(Syntax.internal "S", None, None)])]];
       
   996 
       
   997 end;