Changeset 1110 for src/LIN/LIN.ma


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

changes to get ltl to lin pass to work properly

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r878 r1110  
    11include "LIN/JointLTLLIN.ma".
    22 
    3 definition pre_lin_statement ≝ joint_statement unit.
     3inductive pre_lin_statement (globals: list ident): Type[0] ≝
     4  | lin_st_lift : joint_statement unit globals → pre_lin_statement globals
     5  | lin_st_goto: label → pre_lin_statement globals.
    46
    57definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.