Changeset 1124 for src/ERTL/ERTLToLTL.ma


Ignore:
Timestamp:
Aug 29, 2011, 2:42:43 PM (10 years ago)
Author:
mulligan
Message:

finished off liveness analysis by axiomatising properties

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ERTL/ERTLToLTL.ma

    r1110 r1124  
    33include "LTL/LTL.ma".
    44
    5 (*
    65definition translate_internal ≝
    76  λf.
    … …  
    1413      ?
    1514      ?.
    16 *)
    1715
    1816definition translate_funct ≝
Note: See TracChangeset for help on using the changeset viewer.