Changeset 2773 for extracted/extralib.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/extralib.ml

    r2601 r2773  
    2727open Util
    2828
    29 (** val eq_rect_Type0_r1 : 'a1 -> 'a2 -> 'a1 -> 'a2 **)
    30 let eq_rect_Type0_r1 a p x0 =
     29(** val eq_rect_Type0_r : 'a1 -> 'a2 -> 'a1 -> 'a2 **)
     30let eq_rect_Type0_r a p x0 =
    3131  Logic.eq_rect_r a x0 p
    3232
     
    3535  (fun _ h -> h) __ x0
    3636
    37 (** val eq_rect_Type2_r0 : 'a1 -> 'a2 -> 'a1 -> 'a2 **)
    38 let eq_rect_Type2_r0 a p x0 =
     37(** val eq_rect_Type2_r : 'a1 -> 'a2 -> 'a1 -> 'a2 **)
     38let eq_rect_Type2_r a p x0 =
    3939  eq_rect_r2 a x0 p
    4040
Note: See TracChangeset for help on using the changeset viewer.