changeset 49019 | fc4decdba5ce |
parent 49018 | b2884253b421 |
child 49109 | 0e5b859e1c91 |
--- a/src/HOL/Codatatype/Tools/bnf_comp.ML Thu Aug 30 09:47:46 2012 +0200 +++ b/src/HOL/Codatatype/Tools/bnf_comp.ML Thu Aug 30 09:47:46 2012 +0200 @@ -68,7 +68,6 @@ val bdTN = "bdT"; -val compN = "comp_" fun mk_killN n = "kill" ^ string_of_int n ^ "_"; fun mk_liftN n = "lift" ^ string_of_int n ^ "_"; fun mk_permuteN src dest =