--- a/src/HOLCF/IOA/meta_theory/TL.thy Thu Nov 26 12:18:51 1998 +0100
+++ b/src/HOLCF/IOA/meta_theory/TL.thy Thu Nov 26 16:37:56 1998 +0100
@@ -5,8 +5,6 @@
A General Temporal Logic
-Version 2: Interface directly after Sequeces, i.e. predicates and predicate transformers are in HOL
-
*)