src/HOLCF/IOA/meta_theory/TLS.ML

--- a/src/HOLCF/IOA/meta_theory/TLS.ML	Fri Sep 02 15:54:47 2005 +0200
+++ b/src/HOLCF/IOA/meta_theory/TLS.ML	Fri Sep 02 17:23:59 2005 +0200
@@ -1,8 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/TLS.ML
     ID:         $Id$
     Author:     Olaf Müller
-
-Temporal Logic of Steps -- tailored for I/O automata.
 *)    
 
 (* global changes to simpset() and claset(), repeated from Traces.ML *)