Changeset 2773 for extracted/listb.ml


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/listb.ml

    r2601 r2773  
    4949     | Bool.False -> List.Cons (a, r))
    5050
    51 (** val exists0 : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool **)
    52 let rec exists0 p = function
     51(** val exists : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool **)
     52let rec exists p = function
    5353| List.Nil -> Bool.False
    54 | List.Cons (h, t) -> Bool.orb (p h) (exists0 p t)
     54| List.Cons (h, t) -> Bool.orb (p h) (exists p t)
    5555
Note: See TracChangeset for help on using the changeset viewer.