Changeset 2773 for extracted/joint.mli


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

    r2743 r2773  
    1717open Extralib
    1818
     19open Lists
     20
     21open Identifiers
     22
     23open Integers
     24
     25open AST
     26
     27open Division
     28
     29open Exp
     30
     31open Arithmetic
     32
    1933open Setoids
    2034
     
    2337open Option
    2438
    25 open Lists
    26 
    27 open Identifiers
    28 
    29 open Integers
    30 
    31 open AST
    32 
    33 open Division
    34 
    35 open Exp
    36 
    37 open Arithmetic
    38 
    3939open Extranat
    4040
     
    8383open BackEndOps
    8484
     85open CostLabel
     86
     87open Order
     88
     89open Registers
     90
     91open I8051
     92
    8593open BitVectorTrie
    86 
    87 open CostLabel
    88 
    89 open Order
    90 
    91 open Registers
    92 
    93 open I8051
    9494
    9595open Graphs
     
    595595val uns_pars : stmt_params -> unserialized_params
    596596
    597 type succ0
     597type succ
    598598
    599599val succ_label : stmt_params -> __ -> Graphs.label Types.option
Note: See TracChangeset for help on using the changeset viewer.