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

    r2717 r2773  
    11open Preamble
    2 
    3 open BitVectorTrie
    42
    53open CostLabel
     
    105103
    106104type state
    107 
    108 type step = __
    109105
    110106val transrel_inv_rect_Type4 :
     
    212208val trans : semantics -> transrel
    213209
    214 type initial = __
    215 
    216 type final = __
    217 
    218210val ge : semantics -> __
    219211
     
    264256
    265257val sem2 : related_semantics -> semantics
    266 
    267 type match_states = __
    268258
    269259val related_semantics_inv_rect_Type4 :
     
    313303val sem : order_sim -> related_semantics
    314304
    315 type order = __
    316 
    317305val order_sim_inv_rect_Type4 :
    318306  order_sim -> (related_semantics -> __ -> __ -> __ -> 'a1) -> 'a1
Note: See TracChangeset for help on using the changeset viewer.