Changeset 2037


Ignore:
Timestamp:
Jun 8, 2012, 5:56:15 PM (5 years ago)
Author:
sacerdot
Message:

flatten is now part of stdlib

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r2032 r2037  
    559559qed.
    560560
    561 definition flatten ≝
    562   λA: Type[0].
    563   λl: list (list A).
    564     foldr ? ? (append ?) [ ] l.
    565 
    566561(* redirecting to library reverse *)
    567562definition rev ≝ reverse.
Note: See TracChangeset for help on using the changeset viewer.