Changeset 2773 for extracted/csyntax.mli


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 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/csyntax.mli

    r2717 r2773  
    1515open Extralib
    1616
     17open Lists
     18
     19open Positive
     20
     21open Identifiers
     22
     23open Exp
     24
     25open Arithmetic
     26
     27open Vector
     28
     29open Div_and_mod
     30
     31open Util
     32
     33open FoldStuff
     34
     35open BitVector
     36
     37open Jmeq
     38
     39open Russell
     40
     41open List
     42
    1743open Setoids
    1844
     
    2147open Option
    2248
    23 open Lists
    24 
    25 open Positive
    26 
    27 open Identifiers
    28 
    29 open Exp
    30 
    31 open Arithmetic
    32 
    33 open Vector
    34 
    35 open Div_and_mod
    36 
    37 open Jmeq
    38 
    39 open Russell
    40 
    41 open List
    42 
    43 open Util
    44 
    45 open FoldStuff
    46 
    47 open BitVector
    48 
    4949open Extranat
    5050
     
    7070
    7171open Coqlib
    72 
    73 open BitVectorTrie
    7472
    7573open CostLabel
     
    216214| Oshr
    217215| Oeq
    218 | One0
     216| One
    219217| Olt
    220218| Ogt
     
    664662val signature_of_type : typelist -> type0 -> AST.signature
    665663
    666 val external_function0 :
     664val external_function :
    667665  AST.ident -> typelist -> type0 -> AST.external_function
    668666
Note: See TracChangeset for help on using the changeset viewer.