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

    r2730 r2773  
    1717open Extralib
    1818
     19open Lists
     20
     21open Identifiers
     22
     23open Integers
     24
     25open AST
     26
     27open Division
     28
     29open Exp
     30
     31open Arithmetic
     32
    1933open Setoids
    2034
     
    2236
    2337open Option
    24 
    25 open Lists
    26 
    27 open Identifiers
    28 
    29 open Integers
    30 
    31 open AST
    32 
    33 open Division
    34 
    35 open Exp
    36 
    37 open Arithmetic
    3838
    3939open Extranat
Note: See TracChangeset for help on using the changeset viewer.