src/HOL/BNF/Tools/bnf_fp_def_sugar.ML
changeset 51795 096b96281e34
parent 51794 a1ffbc36323a
child 51797 182454c06a80
     1.1 --- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Fri Apr 26 14:14:54 2013 +0200
     1.2 +++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Fri Apr 26 14:14:55 2013 +0200
     1.3 @@ -80,10 +80,10 @@
     1.4    let val ps = map unzipf xs in
     1.5      (* The first line below gives the preferred order. The second line is for compatibility with the
     1.6         old datatype package: *)
     1.7 +(*
     1.8      maps (op @) ps
     1.9 -(*
    1.10 +*)
    1.11      maps fst ps @ maps snd ps
    1.12 -*)
    1.13    end;
    1.14  
    1.15  fun mk_flip (x, Type (_, [T1, Type (_, [T2, T3])])) =