Changeset 2773 for extracted/lTLToLIN.ml


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/lTLToLIN.ml

    r2717 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
Note: See TracChangeset for help on using the changeset viewer.