Changeset 1171 for src/LIN


Ignore:
Timestamp:
Sep 2, 2011, 2:51:20 PM (8 years ago)
Author:
mulligan
Message:

changes made on claudio's request: changed order of nesting in the joint-ertl statements to make the semantics easier to write. big changes required...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1168 r1171  
    55
    66definition pre_lin_statement ≝
    7  λglobals: list ident. joint_statement unit lin_params globals.
     7 λglobals: list ident. joint_statement unit unit lin_params globals.
    88
    99definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.