1
(* Title: HOL/TLA/ROOT.ML
2
ID: $Id$
3
4
Adds the Temporal Logic of Actions to a database containing Isabelle/HOL.
5
*)
6
7
use_thy "TLA";
8