Changeset 1163 for src/LIN/LIN.ma


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

even more streamlining and fixes to get things type checking

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1132 r1163  
    11include "LIN/JointLTLLIN.ma".
    22 
    3 definition pre_lin_statement ≝ joint_statement unit.
     3definition pre_lin_statement ≝
     4  λglobals.
     5  joint_statement unit globals Register Register
     6                  Register Register Register
     7                  (Register × Register).
    48
    59definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.