Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/costLabel.mli

    r2601 r2649  
    66
    77open Deqsets
     8
     9open ErrorMessages
    810
    911open PreIdentifiers
     
    2527open Identifiers
    2628
    27 open Coqlib
    28 
    29 open Floats
    30 
    3129open Arithmetic
    32 
    33 open Char
    34 
    35 open String
    3630
    3731open Vector
     
    7367open AST
    7468
    75 val costTag : String.string
    76 
    7769type costlabel = PreIdentifiers.identifier
    7870
Note: See TracChangeset for help on using the changeset viewer.