src/Pure/Isar/locale.ML
changeset 13460 ced7a699282b
parent 13442 70479ec9f44f
child 13629 a46362d2b19b
--- a/src/Pure/Isar/locale.ML	Tue Aug 06 11:19:00 2002 +0200
+++ b/src/Pure/Isar/locale.ML	Tue Aug 06 11:19:52 2002 +0200
@@ -990,6 +990,8 @@
 (** locale theory setup **)
 
 val setup =
- [LocalesData.init];
+ [LocalesData.init,
+  add_locale_i true "var" empty [Elem (Fixes [(Syntax.internal "x", None, Some Syntax.NoSyn)])],
+  add_locale_i true "struct" empty [Elem (Fixes [(Syntax.internal "S", None, None)])]];
 
 end;