Changeset 3043 for extracted/division.ml
 Timestamp:
 Mar 29, 2013, 6:38:26 PM (9 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/division.ml
r2827 r3043 28 28 let rec natp_rect_Type4 h_pzero h_ppos = function 29 29  Pzero > h_pzero 30  Ppos x_4 888 > h_ppos x_488830  Ppos x_4901 > h_ppos x_4901 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_4 892 > h_ppos x_489235  Ppos x_4905 > h_ppos x_4905 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_4 896 > h_ppos x_489640  Ppos x_4909 > h_ppos x_4909 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_49 00 > h_ppos x_490045  Ppos x_4913 > h_ppos x_4913 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_49 04 > h_ppos x_490450  Ppos x_4917 > h_ppos x_4917 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_49 08 > h_ppos x_490855  Ppos x_4921 > h_ppos x_4921 56 56 57 57 (** val natp_inv_rect_Type4 :
Note: See TracChangeset
for help on using the changeset viewer.