src/HOL/Nunchaku/Tools/nunchaku_collect.ML

   Spec_Rules.get
   #> filter (curry (op =) Spec_Rules.Unknown o fst)
   #> map snd
   #> filter (null o fst)
   #> maps snd
-  #> filter_out (is_builtin_theory o Thm.theory_id_of_thm)
+  #> filter_out (is_builtin_theory o Thm.theory_id)
   #> map Thm.prop_of;
 
 fun keys_of _ (ITVal (T, _)) = [key_of_typ T]
   | keys_of _ (ITypedef {abs_typ, ...}) = [key_of_typ abs_typ]
   | keys_of _ (IQuotient {abs_typ, ...}) = [key_of_typ abs_typ]