src/HOL/TLA/ROOT.ML
changeset 17309 c43ed29bd197
parent 9000 c20d58286a51
child 24584 01e83ffa6c54
     1.1 --- a/src/HOL/TLA/ROOT.ML	Wed Sep 07 20:22:15 2005 +0200
     1.2 +++ b/src/HOL/TLA/ROOT.ML	Wed Sep 07 20:22:39 2005 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4  (*  Title:      TLA/ROOT.ML
     1.5 +    ID:         $Id$
     1.6  
     1.7  Adds the Temporal Logic of Actions to a database containing Isabelle/HOL.
     1.8  *)