Changeset 2743 for extracted/lists.mli


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (7 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.mli

    r2601 r2743  
    2929val all0 : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool
    3030
    31 type all2 = __
     31type ('a,'b) all2 = __
    3232
    3333val map_All : ('a1 -> __ -> 'a2) -> 'a1 List.list -> 'a2 List.list
Note: See TracChangeset for help on using the changeset viewer.