Changeset 1183 for src/LTL


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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • 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.