changeset 9000 | c20d58286a51 |
parent 6349 | f7750d816c21 |
child 17309 | c43ed29bd197 |
8999:ad8260dc6e4a | 9000:c20d58286a51 |
---|---|
3 Adds the Temporal Logic of Actions to a database containing Isabelle/HOL. |
3 Adds the Temporal Logic of Actions to a database containing Isabelle/HOL. |
4 *) |
4 *) |
5 |
5 |
6 val banner = "Temporal Logic of Actions"; |
6 val banner = "Temporal Logic of Actions"; |
7 |
7 |
8 use_thy "TLA"; |
8 time_use_thy "TLA"; |