--- a/src/HOL/TLA/ROOT.ML Wed Sep 07 20:22:15 2005 +0200 +++ b/src/HOL/TLA/ROOT.ML Wed Sep 07 20:22:39 2005 +0200 @@ -1,4 +1,5 @@ (* Title: TLA/ROOT.ML + ID: $Id$ Adds the Temporal Logic of Actions to a database containing Isabelle/HOL. *)