Changeset 2773 for extracted/option.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/option.mli

    r2601 r2773  
    11open Preamble
     2
     3open Hints_declaration
     4
     5open Core_notation
     6
     7open Pts
     8
     9open Logic
     10
     11open Types
    212
    313open Jmeq
     
    1525open Relations
    1626
    17 open Hints_declaration
    18 
    19 open Core_notation
    20 
    21 open Pts
    22 
    23 open Logic
    24 
    25 open Types
    26 
    2727open Monad
    2828
    29 val option0 : Monad.monadProps
     29val option : Monad.monadProps
    3030
    3131val opt_safe : 'a1 Types.option -> 'a1
Note: See TracChangeset for help on using the changeset viewer.