exported attrib;
authorwenzelm
Tue Aug 01 11:32:43 2006 +0200 (2006-08-01)
changeset 20273ea313e02fd13
parent 20272 0ca998e83447
child 20274 2d60a6ed67f1
exported attrib;
src/Pure/Isar/outer_parse.ML
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Mon Jul 31 21:06:40 2006 +0200
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Tue Aug 01 11:32:43 2006 +0200
     1.3 @@ -69,6 +69,7 @@
     1.4    val propp: token list -> (string * string list) * token list
     1.5    val termp: token list -> (string * string list) * token list
     1.6    val arguments: token list -> Args.T list * token list
     1.7 +  val attrib: token list -> Attrib.src * token list
     1.8    val attribs: token list -> Attrib.src list * token list
     1.9    val opt_attribs: token list -> Attrib.src list * token list
    1.10    val thm_name: string -> token list -> (bstring * Attrib.src list) * token list