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

    r2717 r2773  
    2323open Extralib
    2424
     25open Lists
     26
     27open Positive
     28
     29open Identifiers
     30
     31open Exp
     32
     33open Arithmetic
     34
     35open Vector
     36
     37open Div_and_mod
     38
     39open Util
     40
     41open FoldStuff
     42
     43open BitVector
     44
     45open Jmeq
     46
     47open Russell
     48
     49open List
     50
    2551open Setoids
    2652
     
    2955open Option
    3056
    31 open Lists
    32 
    33 open Positive
    34 
    35 open Identifiers
    36 
    37 open Exp
    38 
    39 open Arithmetic
    40 
    41 open Vector
    42 
    43 open Div_and_mod
    44 
    45 open Jmeq
    46 
    47 open Russell
    48 
    49 open List
    50 
    51 open Util
    52 
    53 open FoldStuff
    54 
    55 open BitVector
    56 
    5757open Extranat
    5858
     
    6969open AST
    7070
     71open CostLabel
     72
     73open FrontEndVal
     74
     75open Hide
     76
     77open ByteValues
     78
     79open GenMem
     80
     81open FrontEndMem
     82
     83open Division
     84
     85open Z
     86
     87open BitVectorZ
     88
     89open Pointers
     90
     91open Coqlib
     92
     93open Values
     94
     95open FrontEndOps
     96
     97open Order
     98
     99open Registers
     100
    71101open BitVectorTrie
    72 
    73 open CostLabel
    74 
    75 open FrontEndVal
    76 
    77 open Hide
    78 
    79 open ByteValues
    80 
    81 open GenMem
    82 
    83 open FrontEndMem
    84 
    85 open Division
    86 
    87 open Z
    88 
    89 open BitVectorZ
    90 
    91 open Pointers
    92 
    93 open Coqlib
    94 
    95 open Values
    96 
    97 open FrontEndOps
    98 
    99 open Order
    100 
    101 open Registers
    102102
    103103open Graphs
Note: See TracChangeset for help on using the changeset viewer.