src/HOL/Tools/Nitpick/nitpick_model.ML
changeset 61333 24b5e7579fdd
parent 61331 2007ea8615a2
child 61357 25ca76cfa9ce
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Tue Oct 06 11:34:07 2015 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Tue Oct 06 11:50:23 2015 +0200
     1.3 @@ -23,6 +23,7 @@
     1.4  
     1.5    val irrelevant : string
     1.6    val unknown : string
     1.7 +  val unrep_mixfix : unit -> string
     1.8    val register_term_postprocessor :
     1.9      typ -> term_postprocessor -> morphism -> Context.generic -> Context.generic
    1.10    val register_term_postprocessor_global :