(*  Title:      TLA/ROOT.ML
    ID:         $Id: ROOT.ML,v 1.8 2005/09/07 18:22:39 wenzelm Exp $

Adds the Temporal Logic of Actions to a database containing Isabelle/HOL.
*)

val banner = "Temporal Logic of Actions";

time_use_thy "TLA";
