1
(* Title: HOL/TLA/ROOT.ML
2
3
Adds the Temporal Logic of Actions to a database containing Isabelle/HOL.
4
*)
5
6
use_thys ["TLA"];
7