equal
deleted
inserted
replaced
1 (* Title: TLA/ROOT.ML |
1 (* Title: HOL/TLA/ROOT.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 |
3 |
4 Adds the Temporal Logic of Actions to a database containing Isabelle/HOL. |
4 Adds the Temporal Logic of Actions to a database containing Isabelle/HOL. |
5 *) |
5 *) |
6 |
6 |