Changeset 1270 for src/ERTL


Ignore:
Timestamp:
Sep 26, 2011, 3:59:28 PM (8 years ago)
Author:
sacerdot
Message:

Making RTL syntax an instance of Joint.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1269 r1270  
    1313 mk_params_
    1414  (mk_params__ register register register register
    15     (move_registers × move_registers) register
     15    (move_registers × move_registers) register nat unit
    1616      ertl_statement_extension unit (list register) nat) label.
    1717
Note: See TracChangeset for help on using the changeset viewer.