source:
src/LIN/semantics.ma
@
2443
| Last change on this file since 2443 was 2443, checked in by , 8 years ago | |
|---|---|
| File size: 184 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 | make_sem_lin_params LIN LTL_LIN_semantics. |
Note: See TracBrowser
for help on using the repository browser.
