changeset 49075 | ed769978dc8d |
parent 49074 | d8af889dcbe3 |
child 49116 | 3d520eec2746 |
--- a/src/HOL/Codatatype/Tools/bnf_wrap_tactics.ML Mon Sep 03 11:54:21 2012 +0200 +++ b/src/HOL/Codatatype/Tools/bnf_wrap_tactics.ML Mon Sep 03 11:54:21 2012 +0200 @@ -23,7 +23,6 @@ open BNF_Util open BNF_Tactics -open BNF_FP_Util fun triangle _ [] = [] | triangle k (xs :: xss) = take k xs :: triangle (k + 1) xss