Changeset 1166 for src/LIN/LIN.ma
- Timestamp:
- Sep 2, 2011, 10:35:24 AM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LIN/LIN.ma
r1164 r1166 1 1 include "LIN/JointLTLLIN.ma". 2 2 3 definition pre_lin_statement ≝ 4 joint_statement unit Register Register 5 Register Register Register 6 registers_move. 3 inductive pre_lin_statement (globals: list ident): Type[0] ≝ 4 | lin_st_lift_joint: joint_statement unit Register Register Register Register Register registers_move globals → pre_lin_statement globals. 7 5 8 6 definition lin_statement ≝
Note: See TracChangeset
for help on using the changeset viewer.