Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 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/costLabel.mli

    r2717 r2773  
    2121open Option
    2222
    23 open Lists
    24 
    25 open Positive
    26 
    27 open Identifiers
    28 
    29 open Exp
    30 
    31 open Arithmetic
    32 
    33 open Vector
    34 
    3523open Div_and_mod
    3624
     
    3927open Russell
    4028
     29open Util
     30
    4131open List
    4232
    43 open Util
    44 
    45 open FoldStuff
    46 
    47 open BitVector
    48 
    49 open Extranat
     33open Lists
    5034
    5135open Bool
     
    5539open Nat
    5640
    57 open Integers
     41open Positive
    5842
    5943open Hints_declaration
     
    6751open Types
    6852
    69 open AST
    70 
    71 open BitVectorTrie
     53open Identifiers
    7254
    7355type costlabel = PreIdentifiers.identifier
    7456
     57val costlabel_eq : costlabel -> costlabel -> (__, __) Types.sum
     58
    7559val costlabel_of_nat : Nat.nat -> costlabel
    7660
    77 type costlabel_map = costlabel BitVectorTrie.bitVectorTrie
    78 
    79 val costlabel_map0 : costlabel_map
    80 
Note: See TracChangeset for help on using the changeset viewer.