Changeset 1183 for src/ERTL


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

removed parameterised label types in the three lowest level languages

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1178 r1183  
    2020definition ertl_params: params ≝
    2121 mk_params
    22    label register register register register
     22   register register register register
    2323     (move_registers × move_registers) register
    2424       ertl_statement_extension unit (list register) nat.
Note: See TracChangeset for help on using the changeset viewer.