Changeset 2773 for extracted/graphs.mli


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

    r2717 r2773  
    1010
    1111open Types
     12
     13open Deqsets
     14
     15open Setoids
     16
     17open Monad
     18
     19open Option
    1220
    1321open Extranat
     
    4149open PositiveMap
    4250
    43 open Deqsets
    44 
    4551open ErrorMessages
    4652
     
    5056
    5157open Extralib
    52 
    53 open Setoids
    54 
    55 open Monad
    56 
    57 open Option
    5858
    5959open Lists
Note: See TracChangeset for help on using the changeset viewer.