| changeset 12338 | de0f4a63baa5 |
| parent 12218 | 6597093b77e7 |
| child 14981 | e73f8140af78 |
| 12337:7c6a970f0808 | 12338:de0f4a63baa5 |
|---|---|
7 *) |
7 *) |
8 |
8 |
9 |
9 |
10 TLS = IOA + TL + |
10 TLS = IOA + TL + |
11 |
11 |
12 default term |
12 default type |
13 |
13 |
14 types |
14 types |
15 |
15 |
16 ('a,'s)ioa_temp = "('a option,'s)transition temporal" |
16 ('a,'s)ioa_temp = "('a option,'s)transition temporal" |
17 ('a,'s)step_pred = "('a option,'s)transition predicate" |
17 ('a,'s)step_pred = "('a option,'s)transition predicate" |