# HG changeset patch
# User wenzelm
# Date 1117963888 -7200
# Node ID 5419e891fb3a54443eeccb410b19980a77fd62fc
# Parent  0609fb8df4a7304995394955774bd91d5ecc12d1
added 'uses' keyword;

diff -r 0609fb8df4a7 -r 5419e891fb3a src/Pure/Isar/isar_syn.ML
--- 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*)