Changeset 1165 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Sep 1, 2011, 5:18:33 PM (9 years ago)
Author:
mulligan
Message:

more changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1163 r1165  
    1414
    1515definition pre_ertl_statement ≝
    16   λglobals: list ident.
    17   joint_statement label globals register
    18                   register register register
     16  joint_statement label register register register register
    1917                  (move_registers × move_registers) register.
    2018                 
Note: See TracChangeset for help on using the changeset viewer.