| author | wenzelm |
| Tue May 30 16:08:38 2000 +0200 (2000-05-30) | |
| changeset 9000 | c20d58286a51 |
| parent 6349 | f7750d816c21 |
| child 17309 | c43ed29bd197 |
| permissions | -rw-r--r-- |
| wenzelm@3807 | 1 |
(* Title: TLA/ROOT.ML |
| wenzelm@3807 | 2 |
|
| wenzelm@3807 | 3 |
Adds the Temporal Logic of Actions to a database containing Isabelle/HOL. |
| wenzelm@3807 | 4 |
*) |
| wenzelm@3807 | 5 |
|
| wenzelm@3807 | 6 |
val banner = "Temporal Logic of Actions"; |
| wenzelm@3807 | 7 |
|
| wenzelm@9000 | 8 |
time_use_thy "TLA"; |