|
Last change
on this file since 2233 was
2217,
checked in by tranquil, 9 years ago
|
- collapsed step_params, unserialized_params, funct_params and local_params into one (unserialized_params)
- completed update of RTL, LTL and LIN semantics
|
|
File size:
200 bytes
|
| Line | |
|---|
| 1 | include "LIN/joint_LTL_LIN_semantics_paolo.ma". |
|---|
| 2 | include "LIN/LIN_paolo.ma". (* CSC: syntax.ma in RTLabs *) |
|---|
| 3 | |
|---|
| 4 | definition LIN_semantics : sem_params ≝ |
|---|
| 5 | make_sem_lin_params LIN (LTL_LIN_semantics ?). |
|---|
Note: See
TracBrowser
for help on using the repository browser.
