Changeset 1183


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

removed parameterised label types in the three lowest level languages

Location:
src
Files:
3 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.
  • src/LIN/LIN.ma

    r1179 r1183  
    33definition lin_params: params ≝
    44 mk_params
    5    label unit unit unit unit registers_move Register
     5   unit unit unit unit registers_move Register
    66     unit unit unit unit.
    77
  • src/LTL/LTL.ma

    r1179 r1183  
    55definition ltl_params: params ≝
    66 mk_params
    7    label unit unit unit unit registers_move Register
     7   unit unit unit unit registers_move Register
    88     unit unit unit unit.
    99
Note: See TracChangeset for help on using the changeset viewer.