src/Pure/logic.ML

--- a/src/Pure/logic.ML	Wed Sep 19 22:18:36 2018 +0200
+++ b/src/Pure/logic.ML	Thu Sep 20 22:39:39 2018 +0200
@@ -80,6 +80,8 @@
   val list_rename_params: string list -> term -> term
   val assum_pairs: int * term -> (term * term) list
   val assum_problems: int * term -> (term -> term) * term list * term
+  val bad_schematic: indexname -> string
+  val bad_fixed: string -> string
   val varifyT_global: typ -> typ
   val unvarifyT_global: typ -> typ
   val varify_types_global: term -> term