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

    r2717 r2773  
    1515open Nat
    1616
     17open Jmeq
     18
     19open Russell
     20
     21open List
     22
     23open Setoids
     24
     25open Monad
     26
     27open Option
     28
    1729open Types
    1830
     
    2234
    2335open Div_and_mod
    24 
    25 open Jmeq
    26 
    27 open Russell
    28 
    29 open List
    3036
    3137open Util
     
    99105val repr : Nat.nat -> int
    100106
    101 val zero0 : int
     107val zero : int
    102108
    103109val one : int
     
    123129  Nat.nat -> Nat.nat -> BitVector.bitVector -> BitVector.bitVector
    124130
    125 val zero_ext0 : Nat.nat -> int -> int
     131val zero_ext : Nat.nat -> int -> int
    126132
    127133val sign_ext_n :
    128134  Nat.nat -> Nat.nat -> BitVector.bitVector -> BitVector.bitVector
    129135
    130 val sign_ext0 : Nat.nat -> int -> int
     136val sign_ext : Nat.nat -> int -> int
    131137
    132138val i_and : int -> int -> int
Note: See TracChangeset for help on using the changeset viewer.