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

    r2717 r2773  
    11open Preamble
    2 
    3 open BitVectorTrie
    42
    53open CostLabel
     
    2119open Extralib
    2220
    23 open Setoids
    24 
    25 open Monad
    26 
    27 open Option
    28 
    2921open Lists
    3022
     
    4133open Div_and_mod
    4234
     35open Util
     36
     37open FoldStuff
     38
     39open BitVector
     40
    4341open Jmeq
    4442
     
    4745open List
    4846
    49 open Util
     47open Setoids
    5048
    51 open FoldStuff
     49open Monad
    5250
    53 open BitVector
     51open Option
    5452
    5553open Extranat
Note: See TracChangeset for help on using the changeset viewer.