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"; |