1.1 --- a/src/HOL/TLA/ROOT.ML Sat Sep 15 19:26:28 2007 +0200
1.2 +++ b/src/HOL/TLA/ROOT.ML Sat Sep 15 19:27:35 2007 +0200
1.3 @@ -1,4 +1,4 @@
1.4 -(* Title: TLA/ROOT.ML
1.5 +(* Title: HOL/TLA/ROOT.ML
1.6 ID: $Id$
1.7
1.8 Adds the Temporal Logic of Actions to a database containing Isabelle/HOL.