Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
exported attrib;
authorwenzelm
Tue, 01 Aug 2006 11:32:43 +0200
changeset 20273 ea313e02fd13
parent 20272 0ca998e83447
child 20274 2d60a6ed67f1
exported attrib;
src/Pure/Isar/outer_parse.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle