|
Last change
on this file since 2844 was
2783,
checked in by piccolo, 8 years ago
|
|
modified joint_closed_internal_function definition (added condition on pseudo-registers)
added new record for parameters
modified state definition with option for framesT
|
|
File size:
182 bytes
|
| Line | |
|---|
| 1 | include "LIN/joint_LTL_LIN_semantics.ma". |
|---|
| 2 | include "LIN/LIN.ma". (* CSC: syntax.ma in RTLabs *) |
|---|
| 3 | |
|---|
| 4 | definition LIN_semantics : sem_params ≝ |
|---|
| 5 | mk_sem_lin_params LIN LTL_LIN_semantics. |
|---|
Note: See
TracBrowser
for help on using the repository browser.
