diff -r 05cc0dbf3a50 -r 1ac0a0194428 src/HOL/BNF/Tools/bnf_def.ML
--- a/src/HOL/BNF/Tools/bnf_def.ML	Thu Jan 16 21:22:01 2014 +0100
+++ b/src/HOL/BNF/Tools/bnf_def.ML	Fri Jan 17 09:52:19 2014 +0100
@@ -28,6 +28,7 @@
   val relN: string
   val setN: string
   val mk_setN: int -> string
+  val mk_witN: int -> string
 
   val map_of_bnf: bnf -> term
   val sets_of_bnf: bnf -> term list