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/JointLTLLIN.ma

    r1108 r1110  
    77
    88inductive joint_instruction (globals: list ident): Type[0] ≝
    9   | joint_instr_skip: joint_instruction globals
    109  | joint_instr_comment: String → joint_instruction globals
    1110  | joint_instr_cost_label: costlabel → joint_instruction globals
Note: See TracChangeset for help on using the changeset viewer.