--- a/src/Pure/Isar/outer_parse.ML Mon Jul 31 21:06:40 2006 +0200
+++ b/src/Pure/Isar/outer_parse.ML Tue Aug 01 11:32:43 2006 +0200
@@ -69,6 +69,7 @@
val propp: token list -> (string * string list) * token list
val termp: token list -> (string * string list) * token list
val arguments: token list -> Args.T list * token list
+ val attrib: token list -> Attrib.src * token list
val attribs: token list -> Attrib.src list * token list
val opt_attribs: token list -> Attrib.src list * token list
val thm_name: string -> token list -> (bstring * Attrib.src list) * token list