Changeset 2773 for extracted/lists.mli


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lists.mli

    r2743 r2773  
    2727open Util
    2828
    29 val all0 : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool
    30 
    31 type ('a,'b) all2 = __
     29val all : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool
    3230
    3331val map_All : ('a1 -> __ -> 'a2) -> 'a1 List.list -> 'a2 List.list
     
    3937open Option
    4038
    41 val append0 : 'a1 List.list List.aop
     39val append : 'a1 List.list List.aop
    4240
    43 val list0 : Monad.monadProps
     41val list : Monad.monadProps
    4442
    4543val count : ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat
Note: See TracChangeset for help on using the changeset viewer.