Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 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/positiveMap.mli

    r2717 r2773  
    9595  Positive.pos -> 'a1 -> 'a1 positive_map -> 'a1 positive_map Types.option
    9696
    97 val fold0 :
     97val fold :
    9898  (Positive.pos -> 'a1 -> 'a2 -> 'a2) -> 'a1 positive_map -> 'a2 -> 'a2
    9999
     
    107107  ('a1 -> 'a2 Types.option) -> 'a1 positive_map -> 'a2 positive_map
    108108
    109 val map0 : ('a1 -> 'a2) -> 'a1 positive_map -> 'a2 positive_map
     109val map : ('a1 -> 'a2) -> 'a1 positive_map -> 'a2 positive_map
    110110
    111111val merge :
Note: See TracChangeset for help on using the changeset viewer.