src/HOL/Nominal/nominal_permeq.ML

 val finite_Un     = thm "finite_Un";
 val conj_absorb   = thm "conj_absorb";
 val not_false     = thm "not_False_eq_True"
 val perm_fun_def  = thm "Nominal.perm_fun_def"
 val perm_eq_app   = thm "Nominal.pt_fun_app_eq"
-val supports_def  = thm "Nominal.op supports_def";
+val supports_def  = thm "Nominal.supports_def";
 val fresh_def     = thm "Nominal.fresh_def";
 val fresh_prod    = thm "Nominal.fresh_prod";
 val fresh_unit    = thm "Nominal.fresh_unit";
 val supports_rule = thm "supports_finite";
 val supp_prod     = thm "supp_prod";