Ignore:
Timestamp:
Mar 11, 2013, 6:50:48 PM (7 years ago)
Author:
piccolo
Message:

ERTLptr to LTL correctness proof started

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/LTL/LTL_semantics.ma

    r2783 r2845  
    22include "LTL/LTL.ma". (* CSC: syntax.ma in RTLabs *)
    33
    4 definition LTL_semantics : sem_params ≝
     4definition LTL_semantics ≝
    55  mk_sem_graph_params LTL LTL_LIN_semantics.
Note: See TracChangeset for help on using the changeset viewer.