1.1 --- a/src/HOL/Tools/Function/fun.ML	Wed Aug 17 13:14:20 2011 +0200
     1.2 +++ b/src/HOL/Tools/Function/fun.ML	Wed Aug 17 15:14:48 2011 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  signature FUNCTION_FUN =
     1.6  sig
     1.7 +  val fun_config : Function_Common.function_config
     1.8    val add_fun : (binding * typ option * mixfix) list ->
     1.9      (Attrib.binding * term) list -> Function_Common.function_config ->
    1.10      local_theory -> Proof.context