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

    r2717 r2773  
    11open Preamble
    22
    3 open String
     3open Fetch
    44
    5 open LabelledObjects
     5open Hide
     6
     7open Division
     8
     9open Z
     10
     11open BitVectorZ
     12
     13open Pointers
     14
     15open Coqlib
     16
     17open Values
     18
     19open Events
     20
     21open IOMonad
     22
     23open IO
     24
     25open Sets
     26
     27open Listb
     28
     29open StructuredTraces
     30
     31open AbstractStatus
    632
    733open BitVectorTrie
     34
     35open String
    836
    937open Exp
     
    1139open Arithmetic
    1240
     41open Vector
     42
     43open FoldStuff
     44
     45open BitVector
     46
     47open Extranat
     48
    1349open Integers
    1450
    1551open AST
    1652
    17 open CostLabel
     53open LabelledObjects
    1854
    1955open Proper
     
    3773open Option
    3874
    39 open Lists
    40 
    41 open Positive
    42 
    43 open Identifiers
    44 
    45 open Extranat
    46 
    47 open Vector
    48 
    4975open Div_and_mod
    5076
     
    5379open Russell
    5480
    55 open Types
     81open Util
    5682
    5783open List
    5884
    59 open Util
    60 
    61 open FoldStuff
     85open Lists
    6286
    6387open Bool
     88
     89open Relations
     90
     91open Nat
     92
     93open Positive
    6494
    6595open Hints_declaration
     
    71101open Logic
    72102
    73 open Relations
     103open Types
    74104
    75 open Nat
     105open Identifiers
    76106
    77 open BitVector
     107open CostLabel
    78108
    79109open ASM
    80 
    81 open Fetch
    82 
    83 open StructuredTraces
    84 
    85 open AbstractStatus
    86110
    87111open Status
    88112
    89113open StatusProofs
    90 
    91 open Sets
    92 
    93 open Listb
    94114
    95115open Interpret
Note: See TracChangeset for help on using the changeset viewer.