src/Pure/Isar/attrib.ML
changeset 36002 f4f343500249
parent 36000 5560b2437789
child 36787 f60e4dd6d76f
     1.1 --- a/src/Pure/Isar/attrib.ML	Sun Mar 28 16:59:06 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sun Mar 28 17:43:09 2010 +0200
     1.3 @@ -36,12 +36,12 @@
     1.4    val multi_thm: thm list context_parser
     1.5    val print_configs: Proof.context -> unit
     1.6    val internal: (morphism -> attribute) -> src
     1.7 -  val config_bool: bstring -> (Proof.context -> bool) -> bool Config.T * (theory -> theory)
     1.8 -  val config_int: bstring -> (Proof.context -> int) -> int Config.T * (theory -> theory)
     1.9 -  val config_string: bstring -> (Proof.context -> string) -> string Config.T * (theory -> theory)
    1.10 -  val config_bool_global: bstring -> (Proof.context -> bool) -> bool Config.T * (theory -> theory)
    1.11 -  val config_int_global: bstring -> (Proof.context -> int) -> int Config.T * (theory -> theory)
    1.12 -  val config_string_global: bstring -> (Proof.context -> string) -> string Config.T * (theory -> theory)
    1.13 +  val config_bool: bstring -> (Context.generic -> bool) -> bool Config.T * (theory -> theory)
    1.14 +  val config_int: bstring -> (Context.generic -> int) -> int Config.T * (theory -> theory)
    1.15 +  val config_string: bstring -> (Context.generic -> string) -> string Config.T * (theory -> theory)
    1.16 +  val config_bool_global: bstring -> (Context.generic -> bool) -> bool Config.T * (theory -> theory)
    1.17 +  val config_int_global: bstring -> (Context.generic -> int) -> int Config.T * (theory -> theory)
    1.18 +  val config_string_global: bstring -> (Context.generic -> string) -> string Config.T * (theory -> theory)
    1.19  end;
    1.20  
    1.21  structure Attrib: ATTRIB =