Changeset 2775 for extracted/division.ml
 Timestamp:
 Mar 5, 2013, 9:52:39 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/division.ml
r2773 r2775 28 28 let rec natp_rect_Type4 h_pzero h_ppos = function 29 29  Pzero > h_pzero 30  Ppos x_ 1968 > h_ppos x_196830  Ppos x_4758 > h_ppos x_4758 31 31 32 32 (** val natp_rect_Type5 : 'a1 > (Positive.pos > 'a1) > natp > 'a1 **) 33 33 let rec natp_rect_Type5 h_pzero h_ppos = function 34 34  Pzero > h_pzero 35  Ppos x_ 1972 > h_ppos x_197235  Ppos x_4762 > h_ppos x_4762 36 36 37 37 (** val natp_rect_Type3 : 'a1 > (Positive.pos > 'a1) > natp > 'a1 **) 38 38 let rec natp_rect_Type3 h_pzero h_ppos = function 39 39  Pzero > h_pzero 40  Ppos x_ 1976 > h_ppos x_197640  Ppos x_4766 > h_ppos x_4766 41 41 42 42 (** val natp_rect_Type2 : 'a1 > (Positive.pos > 'a1) > natp > 'a1 **) 43 43 let rec natp_rect_Type2 h_pzero h_ppos = function 44 44  Pzero > h_pzero 45  Ppos x_ 1980 > h_ppos x_198045  Ppos x_4770 > h_ppos x_4770 46 46 47 47 (** val natp_rect_Type1 : 'a1 > (Positive.pos > 'a1) > natp > 'a1 **) 48 48 let rec natp_rect_Type1 h_pzero h_ppos = function 49 49  Pzero > h_pzero 50  Ppos x_ 1984 > h_ppos x_198450  Ppos x_4774 > h_ppos x_4774 51 51 52 52 (** val natp_rect_Type0 : 'a1 > (Positive.pos > 'a1) > natp > 'a1 **) 53 53 let rec natp_rect_Type0 h_pzero h_ppos = function 54 54  Pzero > h_pzero 55  Ppos x_ 1988 > h_ppos x_198855  Ppos x_4778 > h_ppos x_4778 56 56 57 57 (** val natp_inv_rect_Type4 :
Note: See TracChangeset
for help on using the changeset viewer.