# HG changeset patch
# User wenzelm
# Date 1154424763 -7200
# Node ID ea313e02fd135e5594609b8875d513dfbe403d5d
# Parent  0ca998e83447b6efb261ba0cb63ed7315513a415
exported attrib;

diff -r 0ca998e83447 -r ea313e02fd13 src/Pure/Isar/outer_parse.ML
--- 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