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/positive.mli

    r2601 r2773  
    9393val pos_discr : pos -> pos -> __
    9494
    95 val pred0 : pos -> pos
     95val pred : pos -> pos
    9696
    9797val succ : pos -> pos
     
    101101val succ_pos_of_nat : Nat.nat -> pos
    102102
    103 val plus0 : pos -> pos -> pos
     103val plus : pos -> pos -> pos
    104104
    105 val times0 : pos -> pos -> pos
     105val times : pos -> pos -> pos
    106106
    107107type minusresult =
     
    141141val partial_minus : pos -> pos -> minusresult
    142142
    143 val minus0 : pos -> pos -> pos
     143val minus : pos -> pos -> pos
    144144
    145 val eqb0 : pos -> pos -> Bool.bool
     145val eqb : pos -> pos -> Bool.bool
    146146
    147147val eqb_elim : pos -> pos -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    148148
    149 val leb0 : pos -> pos -> Bool.bool
     149val leb : pos -> pos -> Bool.bool
    150150
    151151val pos_compare : pos -> pos -> compare
     
    155155val two_power_pos : pos -> pos
    156156
    157 val max0 : pos -> pos -> pos
     157val max : pos -> pos -> pos
    158158
Note: See TracChangeset for help on using the changeset viewer.