src/HOL/TLA/ROOT.ML
author wenzelm
Mon Feb 08 13:02:56 1999 +0100 (1999-02-08)
changeset 6255 db63752140c7
parent 5210 54aaa779b6b4
child 6349 f7750d816c21
permissions -rw-r--r--
updated (Stephan Merz);
     1 (*  Title:      TLA/ROOT.ML
     2 
     3 Adds the Temporal Logic of Actions to a database containing Isabelle/HOL.
     4 *)
     5 
     6 val banner = "Temporal Logic of Actions";
     7 
     8 use_thy "TLA";
     9 
    10 val TLA_build_completed = ();