Changeset 1270 for src/LTL/LTL.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/LTL/LTL.ma

    r1269 r1270  
    22
    33definition ltl_params_: params_ ≝
    4  mk_params_ (mk_params__ unit unit unit unit registers_move Register False unit unit unit) label.
     4 mk_params_ (mk_params__ unit unit unit unit registers_move Register nat unit False unit unit unit) label.
    55
    66definition ltl_statement ≝ joint_statement ltl_params_.
Note: See TracChangeset for help on using the changeset viewer.