Changeset 1270 for src/LIN/LIN.ma


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

Making RTL syntax an instance of Joint.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1264 r1270  
    33
    44definition lin_params_: params_ ≝
    5  mk_params_ (mk_params__ unit unit unit unit registers_move Register False unit unit unit) unit.
     5 mk_params_ (mk_params__ unit unit unit unit registers_move Register nat unit False unit unit unit) unit.
    66
    77definition pre_lin_statement ≝ joint_statement lin_params_.
Note: See TracChangeset for help on using the changeset viewer.