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

    r2730 r2773  
    11open Preamble
    22
     3open BitVectorTrie
     4
    35open Graphs
    46
     
    3133open FrontEndOps
    3234
    33 open BitVectorTrie
    34 
    3535open CostLabel
    3636
     
    4949open Extralib
    5050
     51open Lists
     52
     53open Positive
     54
     55open Identifiers
     56
     57open Exp
     58
     59open Arithmetic
     60
     61open Vector
     62
     63open Div_and_mod
     64
     65open Util
     66
     67open FoldStuff
     68
     69open BitVector
     70
     71open Jmeq
     72
     73open Russell
     74
     75open List
     76
    5177open Setoids
    5278
     
    5480
    5581open Option
    56 
    57 open Lists
    58 
    59 open Positive
    60 
    61 open Identifiers
    62 
    63 open Exp
    64 
    65 open Arithmetic
    66 
    67 open Vector
    68 
    69 open Div_and_mod
    70 
    71 open Jmeq
    72 
    73 open Russell
    74 
    75 open List
    76 
    77 open Util
    78 
    79 open FoldStuff
    80 
    81 open BitVector
    8282
    8383open Extranat
Note: See TracChangeset for help on using the changeset viewer.