18 |
18 |
19 val _ = OuterSyntax.keywords |
19 val _ = OuterSyntax.keywords |
20 ["!!", "!", "%", "(", ")", "+", ",", "--", ":", "::", ";", "<", "<=", |
20 ["!!", "!", "%", "(", ")", "+", ",", "--", ":", "::", ";", "<", "<=", |
21 "=", "==", "=>", "?", "[", "\\<equiv>", "\\<leftharpoondown>", |
21 "=", "==", "=>", "?", "[", "\\<equiv>", "\\<leftharpoondown>", |
22 "\\<rightharpoonup>", "\\<rightleftharpoons>", "\\<subseteq>", "]", |
22 "\\<rightharpoonup>", "\\<rightleftharpoons>", "\\<subseteq>", "]", |
23 "advanced", "and", "assumes", "attach", "begin", "binder", "concl", |
23 "advanced", "and", "assumes", "attach", "begin", "binder", |
24 "constrains", "defines", "fixes", "for", "identifier", "if", |
24 "constrains", "defines", "fixes", "for", "identifier", "if", |
25 "imports", "in", "includes", "infix", "infixl", "infixr", "is", |
25 "imports", "in", "includes", "infix", "infixl", "infixr", "is", |
26 "notes", "obtains", "open", "output", "overloaded", "shows", |
26 "notes", "obtains", "open", "output", "overloaded", "shows", |
27 "structure", "unchecked", "uses", "where", "|"]; |
27 "structure", "unchecked", "uses", "where", "|"]; |
28 |
28 |