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

    r2717 r2773  
    33open Exp
    44
     5open Setoids
     6
     7open Monad
     8
     9open Option
     10
    511open Extranat
    612
     
    5662
    5763open Extralib
    58 
    59 open Setoids
    60 
    61 open Monad
    62 
    63 open Option
    6464
    6565open Lists
Note: See TracChangeset for help on using the changeset viewer.