Changeset 1110 for src/ERTL/ERTLToLTL.ma


Ignore:
Timestamp:
Aug 24, 2011, 6:45:01 PM (9 years ago)
Author:
mulligan
Message:

changes to get ltl to lin pass to work properly

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r1088 r1110  
    33include "LTL/LTL.ma".
    44
     5(*
    56definition translate_internal ≝
    67  λf.
     
    1314      ?
    1415      ?.
     16*)
    1517
    1618definition translate_funct ≝
Note: See TracChangeset for help on using the changeset viewer.