src/HOLCF/IOA/meta_theory/Pred.thy

--- a/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Nov 26 12:18:51 1998 +0100
+++ b/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Nov 26 16:37:56 1998 +0100
@@ -1,14 +1,10 @@
-(*  Title:      HOLCF/IOA/meta_theory/TLS.thy
+(*  Title:      HOLCF/IOA/meta_theory/Pred.thy
     ID:         $Id$
     Author:     Olaf M"uller
     Copyright   1997  TU Muenchen
 
 Logical Connectives lifted to predicates.
 
-ToDo:
-
-<--> einfuehren.
-
 *)   
 	       
 Pred = Arith +