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/labelledObjects.ml

    r2649 r2773  
    11open Preamble
     2
     3open Setoids
     4
     5open Monad
     6
     7open Option
     8
     9open Div_and_mod
     10
     11open Jmeq
     12
     13open Russell
     14
     15open Util
     16
     17open Bool
     18
     19open Relations
     20
     21open Nat
     22
     23open Hints_declaration
     24
     25open Core_notation
     26
     27open Pts
     28
     29open Logic
     30
     31open Types
     32
     33open List
     34
     35open Lists
    236
    337open Proper
     
    1549open Extralib
    1650
    17 open Setoids
    18 
    19 open Monad
    20 
    21 open Option
    22 
    23 open Div_and_mod
    24 
    25 open Jmeq
    26 
    27 open Russell
    28 
    29 open Util
    30 
    31 open List
    32 
    33 open Lists
    34 
    35 open Bool
    36 
    37 open Relations
    38 
    39 open Nat
    40 
    4151open Positive
    42 
    43 open Hints_declaration
    44 
    45 open Core_notation
    46 
    47 open Pts
    48 
    49 open Logic
    50 
    51 open Types
    5252
    5353open Identifiers
     
    9393     | Bool.False -> index_of_internal test tl (Nat.S acc))
    9494
    95 (** val index_of0 : ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat **)
    96 let index_of0 test l =
     95(** val index_of : ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat **)
     96let index_of test l =
    9797  index_of_internal test l Nat.O
    9898
     
    101101    labelled_obj List.list -> Nat.nat **)
    102102let index_of_label tag l =
    103   index_of0 (instruction_matches_identifier tag l)
     103  index_of (instruction_matches_identifier tag l)
    104104
Note: See TracChangeset for help on using the changeset viewer.