equal
deleted
inserted
replaced
6 A General Temporal Logic. |
6 A General Temporal Logic. |
7 *) |
7 *) |
8 |
8 |
9 TL = Pred + Sequence + |
9 TL = Pred + Sequence + |
10 |
10 |
11 default term |
11 default type |
12 |
12 |
13 types |
13 types |
14 |
14 |
15 'a temporal = 'a Seq predicate |
15 'a temporal = 'a Seq predicate |
16 |
16 |