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

    r2743 r2773  
    6868      (Obj.magic x))
    6969
     70open Option
     71
    7072open Extranat
    7173
     
    7779
    7880(** val bcons : 'a2 -> ('a1, 'a2) bind_list -> ('a1, 'a2) bind_list **)
    79 let bcons e0 =
     81let bcons e =
    8082  Obj.magic
    81     (Monad.m_map (Monad.max_def Bind_new.bindNew) (fun x -> List.Cons (e0,
     83    (Monad.m_map (Monad.max_def Bind_new.bindNew) (fun x -> List.Cons (e,
    8284      x)))
    83 
    84 open Option
    8585
    8686open Lists
Note: See TracChangeset for help on using the changeset viewer.