# HG changeset patch
# User wenzelm
# Date 950472002 -3600
# Node ID 89002bc362c50e46f4e6d3a9aed99096fe39f330
# Parent  df3f983f5858cbda680d66f7280a6b755a168f49
tuned attrib;

diff -r df3f983f5858 -r 89002bc362c5 src/Pure/Isar/outer_parse.ML
--- a/src/Pure/Isar/outer_parse.ML	Sun Feb 13 20:58:13 2000 +0100
+++ b/src/Pure/Isar/outer_parse.ML	Sun Feb 13 21:00:02 2000 +0100
@@ -267,7 +267,7 @@
 
 (* theorem specifications *)
 
-val attrib = position ((xname || keyword_sid) -- !!! (args OuterLex.is_sid false)) >> Args.src;
+val attrib = position ((keyword_sid || xname) -- !!! (args OuterLex.is_sid false)) >> Args.src;
 val attribs = $$$ "[" |-- !!! (list attrib --| $$$ "]");
 val opt_attribs = Scan.optional attribs [];