--- a/src/Pure/Isar/isar_syn.ML Sun Jun 05 11:31:26 2005 +0200
+++ b/src/Pure/Isar/isar_syn.ML Sun Jun 05 11:31:28 2005 +0200
@@ -779,12 +779,12 @@
val _ = OuterSyntax.add_keywords
["!", "!!", "%", "%%", "(", ")", "+", ",", "--", ":", "::", ";", "<",
- "<=", "=", "==", "=>", "?", "[", "]", "advanced", "and", "assumes", "begin",
- "binder", "concl", "constrains", "defines", "files", "fixes", "imports",
- "in", "includes", "infix", "infixl", "infixr", "is", "notes", "open",
- "output", "overloaded", "shows", "structure", "where", "|", "\\<equiv>",
- "\\<leftharpoondown>", "\\<rightharpoonup>",
- "\\<rightleftharpoons>", "\\<subseteq>"];
+ "<=", "=", "==", "=>", "?", "[", "]", "advanced", "and", "assumes",
+ "begin", "binder", "concl", "constrains", "defines", "files",
+ "fixes", "imports", "in", "includes", "infix", "infixl", "infixr",
+ "is", "notes", "open", "output", "overloaded", "shows", "structure",
+ "uses", "where", "|", "\\<equiv>", "\\<leftharpoondown>",
+ "\\<rightharpoonup>", "\\<rightleftharpoons>", "\\<subseteq>"];
val _ = OuterSyntax.add_parsers [
(*theory structure*)