Changeset 1164 for src/LIN/LIN.ma


Ignore:
Timestamp:
Sep 1, 2011, 4:53:01 PM (9 years ago)
Author:
mulligan
Message:

ltl to lin working again, more changes to joint syntax

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1163 r1164  
    22 
    33definition pre_lin_statement ≝
    4   λglobals.
    5   joint_statement unit globals Register Register
     4  joint_statement unit Register Register
    65                  Register Register Register
    7                   (Register × Register).
     6                  registers_move.
    87
    98definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.