Ignore:
Timestamp:
Mar 28, 2013, 5:27:46 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after ERTLptr abortion.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semantics.mli

    r2951 r3019  
    5555open LTL
    5656
    57 open ERTLptrToLTL
    58 
    59 open ERTLptr
    60 
    61 open ERTLToERTLptr
     57open ERTLToLTL
    6258
    6359open ERTL
     
    306302
    307303open ERTL_semantics
    308 
    309 open ERTLptr_semantics
    310304
    311305open Joint_LTL_LIN_semantics
Note: See TracChangeset for help on using the changeset viewer.