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

    r2730 r2773  
    1717open Extralib
    1818
     19open Lists
     20
     21open Positive
     22
     23open Identifiers
     24
     25open Registers
     26
     27open Exp
     28
    1929open Setoids
    2030
     
    2333open Option
    2434
    25 open Lists
    26 
    27 open Positive
    28 
    29 open Identifiers
    30 
    31 open Registers
    32 
    33 open Exp
    34 
    3535open Extranat
    3636
     
    8181open LabelledObjects
    8282
     83open BitVectorTrie
     84
    8385open Graphs
    84 
    85 open BitVectorTrie
    8686
    8787open CostLabel
Note: See TracChangeset for help on using the changeset viewer.