Changeset 2743 for extracted/z.ml


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (7 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/z.ml

    r2717 r2743  
    2626let rec z_rect_Type4 h_OZ h_pos h_neg = function
    2727| OZ -> h_OZ
    28 | Pos x_4708 -> h_pos x_4708
    29 | Neg x_4709 -> h_neg x_4709
     28| Pos x_4734 -> h_pos x_4734
     29| Neg x_4735 -> h_neg x_4735
    3030
    3131(** val z_rect_Type5 :
     
    3333let rec z_rect_Type5 h_OZ h_pos h_neg = function
    3434| OZ -> h_OZ
    35 | Pos x_4714 -> h_pos x_4714
    36 | Neg x_4715 -> h_neg x_4715
     35| Pos x_4740 -> h_pos x_4740
     36| Neg x_4741 -> h_neg x_4741
    3737
    3838(** val z_rect_Type3 :
     
    4040let rec z_rect_Type3 h_OZ h_pos h_neg = function
    4141| OZ -> h_OZ
    42 | Pos x_4720 -> h_pos x_4720
    43 | Neg x_4721 -> h_neg x_4721
     42| Pos x_4746 -> h_pos x_4746
     43| Neg x_4747 -> h_neg x_4747
    4444
    4545(** val z_rect_Type2 :
     
    4747let rec z_rect_Type2 h_OZ h_pos h_neg = function
    4848| OZ -> h_OZ
    49 | Pos x_4726 -> h_pos x_4726
    50 | Neg x_4727 -> h_neg x_4727
     49| Pos x_4752 -> h_pos x_4752
     50| Neg x_4753 -> h_neg x_4753
    5151
    5252(** val z_rect_Type1 :
     
    5454let rec z_rect_Type1 h_OZ h_pos h_neg = function
    5555| OZ -> h_OZ
    56 | Pos x_4732 -> h_pos x_4732
    57 | Neg x_4733 -> h_neg x_4733
     56| Pos x_4758 -> h_pos x_4758
     57| Neg x_4759 -> h_neg x_4759
    5858
    5959(** val z_rect_Type0 :
     
    6161let rec z_rect_Type0 h_OZ h_pos h_neg = function
    6262| OZ -> h_OZ
    63 | Pos x_4738 -> h_pos x_4738
    64 | Neg x_4739 -> h_neg x_4739
     63| Pos x_4764 -> h_pos x_4764
     64| Neg x_4765 -> h_neg x_4765
    6565
    6666(** val z_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.