Changeset 2443 for src/LTL


Ignore:
Timestamp:
Nov 8, 2012, 2:27:54 PM (7 years ago)
Author:
tranquil
Message:

changed joint's stack pointer and internal stack

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/semantics.ma

    r2286 r2443  
    33
    44definition LTL_semantics : sem_params ≝
    5   make_sem_graph_params LTL (LTL_LIN_semantics ?).
     5  make_sem_graph_params LTL LTL_LIN_semantics.
Note: See TracChangeset for help on using the changeset viewer.