Changeset 2773 for extracted/util.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/util.mli

    r2743 r2773  
    124124  List.list -> 'a4 List.list
    125125
    126 val eq_rect_Type0_r0 : 'a1 -> 'a2 -> 'a1 -> 'a2
     126val eq_rect_Type0_r : 'a1 -> 'a2 -> 'a1 -> 'a2
    127127
    128128val safe_nth : Nat.nat -> 'a1 List.list -> 'a1
     
    222222val prod_jmdiscr : ('a1, 'a2) Types.prod -> ('a1, 'a2) Types.prod -> __
    223223
    224 val eq_rect_Type1_r0 : 'a1 -> 'a2 -> 'a1 -> 'a2
     224val eq_rect_Type1_r : 'a1 -> 'a2 -> 'a1 -> 'a2
    225225
    226226val some_Some_elim : 'a1 -> 'a1 -> (__ -> 'a2) -> 'a2
Note: See TracChangeset for help on using the changeset viewer.