src/Pure/Isar/isar_syn.ML
changeset 27353 71c4dd53d4cb
parent 27200 00b7b55b61bd
child 27378 0968c0d0b969
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Wed Jun 25 14:54:45 2008 +0200
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Wed Jun 25 17:38:32 2008 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  (*keep keywords consistent with the parsers, otherwise be prepared for
     1.5    unexpected errors*)
     1.6  
     1.7 -val _ = OuterSyntax.keywords
     1.8 +val _ = List.app OuterKeyword.keyword
     1.9   ["!!", "!", "%", "(", ")", "+", ",", "--", ":", "::", ";", "<", "<=",
    1.10    "=", "==", "=>", "?", "[", "\\<equiv>", "\\<leftharpoondown>",
    1.11    "\\<rightharpoonup>", "\\<rightleftharpoons>", "\\<subseteq>", "]",