tuned signature;
authorwenzelm
Thu Aug 14 11:55:09 2014 +0200 (2014-08-14)
changeset 5793674ea9ba645c3
parent 57935 c578f3a37a67
child 57937 3bc4725b313e
tuned signature;
src/Pure/Isar/attrib.ML
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Aug 14 11:51:17 2014 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Thu Aug 14 11:55:09 2014 +0200
     1.3 @@ -38,6 +38,7 @@
     1.4    val generic_notes: string -> (binding * (thm list * src list) list) list ->
     1.5      Context.generic -> (string * thm list) list * Context.generic
     1.6    val eval_thms: Proof.context -> (Facts.ref * src list) list -> thm list
     1.7 +  val attribute_syntax: attribute context_parser -> Args.src -> attribute
     1.8    val setup: Binding.binding -> attribute context_parser -> string -> theory -> theory
     1.9    val local_setup: Binding.binding -> attribute context_parser -> string ->
    1.10      local_theory -> local_theory