Ignore:
Timestamp:
Aug 30, 2011, 6:55:12 PM (8 years ago)
Author:
campbell
Message:

Merge trunk into branch.

Location:
Deliverables/D3.3/id-lookup-branch
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch

  • Deliverables/D3.3/id-lookup-branch/LIN/JointLTLLIN.ma

    r1109 r1153  
    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
     
    2827inductive joint_statement (A: Type[0]) (globals: list ident): Type[0] ≝
    2928  | joint_st_sequential: joint_instruction globals → A → joint_statement A globals
     29  | joint_st_goto: label → joint_statement A globals
    3030  | joint_st_return: joint_statement A globals.
Note: See TracChangeset for help on using the changeset viewer.