Changeset 2743 for extracted/lists.ml


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (8 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lists.ml

    r2601 r2743  
    3232| List.Cons (h, t) -> Bool.andb (p h) (all0 p t)
    3333
    34 type all2 = __
     34type ('x, 'x0) all2 = __
    3535
    3636(** val map_All : ('a1 -> __ -> 'a2) -> 'a1 List.list -> 'a2 List.list **)
Note: See TracChangeset for help on using the changeset viewer.