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

    r2717 r2773  
    77open Arithmetic
    88
     9open Setoids
     10
     11open Monad
     12
     13open Option
     14
    915open Extranat
    1016
     
    6066
    6167open Extralib
    62 
    63 open Setoids
    64 
    65 open Monad
    66 
    67 open Option
    6868
    6969open Lists
Note: See TracChangeset for help on using the changeset viewer.