Changeset 2773 for extracted/deqsets.ml


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

    r2717 r2773  
    2121(** val deqSet_rect_Type4 :
    2222    (__ -> (__ -> __ -> Bool.bool) -> __ -> 'a1) -> deqSet -> 'a1 **)
    23 let rec deqSet_rect_Type4 h_mk_DeqSet x_3083 =
    24   let eqb = x_3083 in h_mk_DeqSet __ eqb __
     23let rec deqSet_rect_Type4 h_mk_DeqSet x_3369 =
     24  let eqb = x_3369 in h_mk_DeqSet __ eqb __
    2525
    2626(** val deqSet_rect_Type5 :
    2727    (__ -> (__ -> __ -> Bool.bool) -> __ -> 'a1) -> deqSet -> 'a1 **)
    28 let rec deqSet_rect_Type5 h_mk_DeqSet x_3085 =
    29   let eqb = x_3085 in h_mk_DeqSet __ eqb __
     28let rec deqSet_rect_Type5 h_mk_DeqSet x_3371 =
     29  let eqb = x_3371 in h_mk_DeqSet __ eqb __
    3030
    3131(** val deqSet_rect_Type3 :
    3232    (__ -> (__ -> __ -> Bool.bool) -> __ -> 'a1) -> deqSet -> 'a1 **)
    33 let rec deqSet_rect_Type3 h_mk_DeqSet x_3087 =
    34   let eqb = x_3087 in h_mk_DeqSet __ eqb __
     33let rec deqSet_rect_Type3 h_mk_DeqSet x_3373 =
     34  let eqb = x_3373 in h_mk_DeqSet __ eqb __
    3535
    3636(** val deqSet_rect_Type2 :
    3737    (__ -> (__ -> __ -> Bool.bool) -> __ -> 'a1) -> deqSet -> 'a1 **)
    38 let rec deqSet_rect_Type2 h_mk_DeqSet x_3089 =
    39   let eqb = x_3089 in h_mk_DeqSet __ eqb __
     38let rec deqSet_rect_Type2 h_mk_DeqSet x_3375 =
     39  let eqb = x_3375 in h_mk_DeqSet __ eqb __
    4040
    4141(** val deqSet_rect_Type1 :
    4242    (__ -> (__ -> __ -> Bool.bool) -> __ -> 'a1) -> deqSet -> 'a1 **)
    43 let rec deqSet_rect_Type1 h_mk_DeqSet x_3091 =
    44   let eqb = x_3091 in h_mk_DeqSet __ eqb __
     43let rec deqSet_rect_Type1 h_mk_DeqSet x_3377 =
     44  let eqb = x_3377 in h_mk_DeqSet __ eqb __
    4545
    4646(** val deqSet_rect_Type0 :
    4747    (__ -> (__ -> __ -> Bool.bool) -> __ -> 'a1) -> deqSet -> 'a1 **)
    48 let rec deqSet_rect_Type0 h_mk_DeqSet x_3093 =
    49   let eqb = x_3093 in h_mk_DeqSet __ eqb __
     48let rec deqSet_rect_Type0 h_mk_DeqSet x_3379 =
     49  let eqb = x_3379 in h_mk_DeqSet __ eqb __
    5050
    5151type carr = __
Note: See TracChangeset for help on using the changeset viewer.