Changeset 1271 for src/LTL


Ignore:
Timestamp:
Sep 26, 2011, 4:24:32 PM (8 years ago)
Author:
mulligan
Message:

finished, kind of

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r1270 r1271  
    99
    1010definition ltl_program ≝ joint_program ltl_params.
     11
     12definition ltl_internal_function ≝ λglobals. joint_internal_function globals (ltl_params globals).
Note: See TracChangeset for help on using the changeset viewer.