Changeset 2773 for extracted/blocks.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/blocks.mli

    r2743 r2773  
    99open LabelledObjects
    1010
     11open BitVectorTrie
     12
    1113open Graphs
    1214
     
    1618
    1719open Registers
    18 
    19 open BitVectorTrie
    2020
    2121open CostLabel
     
    3737open Extralib
    3838
    39 open Setoids
    40 
    41 open Monad
    42 
    43 open Option
    44 
    4539open Lists
    4640
     
    5650
    5751open Arithmetic
     52
     53open Setoids
     54
     55open Monad
     56
     57open Option
    5858
    5959open Extranat
     
    111111open BindLists
    112112
    113 type ('x, 'x0) bind_new_P = __
    114 
    115113val bindNewP : Monad.monadPred
    116114
     
    137135  step_block
    138136
    139 type seq_list_in_code = __
    140 
    141137val map_eval : ('a1 -> 'a2) List.list -> 'a1 -> 'a2 List.list
    142138
    143 type ('a,'b) bind_new_instantiates = __
    144 
Note: See TracChangeset for help on using the changeset viewer.