changeset 5976 | 44290b71a85f |
parent 4577 | 674b0b354feb |
child 10835 | f4745d77e620 |
5975:cd19eaa90f45 | 5976:44290b71a85f |
---|---|
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Olaf M"uller |
3 Author: Olaf M"uller |
4 Copyright 1997 TU Muenchen |
4 Copyright 1997 TU Muenchen |
5 |
5 |
6 A General Temporal Logic |
6 A General Temporal Logic |
7 |
|
8 Version 2: Interface directly after Sequeces, i.e. predicates and predicate transformers are in HOL |
|
9 |
7 |
10 *) |
8 *) |
11 |
9 |
12 |
10 |
13 |
11 |