src/Pure/Isar/isar_syn.ML
changeset 26888 9942cd184c48
parent 26676 fb8039e26c6a
child 26988 742e26213212
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Wed May 14 11:17:36 2008 +0200
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Wed May 14 14:43:34 2008 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4   ["!!", "!", "%", "(", ")", "+", ",", "--", ":", "::", ";", "<", "<=",
     1.5    "=", "==", "=>", "?", "[", "\\<equiv>", "\\<leftharpoondown>",
     1.6    "\\<rightharpoonup>", "\\<rightleftharpoons>", "\\<subseteq>", "]",
     1.7 -  "advanced", "and", "assumes", "attach", "begin", "binder", "concl",
     1.8 +  "advanced", "and", "assumes", "attach", "begin", "binder",
     1.9    "constrains", "defines", "fixes", "for", "identifier", "if",
    1.10    "imports", "in", "includes", "infix", "infixl", "infixr", "is",
    1.11    "notes", "obtains", "open", "output", "overloaded", "shows",