Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 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/errorMessages.mli

    r2730 r2773  
    88| MISSING
    99| EXTERNAL
     10| AssemblyTooLarge
    1011| Jump_expansion_failed
    1112| ValueIsNotABoolean
     
    8182  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    8283  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    83   'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     84  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    8485
    8586val errorMessage_rect_Type5 :
     
    9091  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    9192  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    92   'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     93  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    9394
    9495val errorMessage_rect_Type3 :
     
    99100  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    100101  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    101   'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     102  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    102103
    103104val errorMessage_rect_Type2 :
     
    108109  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    109110  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    110   'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     111  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    111112
    112113val errorMessage_rect_Type1 :
     
    117118  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    118119  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    119   'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     120  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    120121
    121122val errorMessage_rect_Type0 :
     
    126127  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    127128  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    128   'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     129  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    129130
Note: See TracChangeset for help on using the changeset viewer.