src/HOLCF/IOA/meta_theory/Pred.thy
changeset 5976 44290b71a85f
parent 4559 8e604d885b54
child 6340 7d5cbd5819a0
     1.1 --- a/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Nov 26 12:18:51 1998 +0100
     1.2 +++ b/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Nov 26 16:37:56 1998 +0100
     1.3 @@ -1,14 +1,10 @@
     1.4 -(*  Title:      HOLCF/IOA/meta_theory/TLS.thy
     1.5 +(*  Title:      HOLCF/IOA/meta_theory/Pred.thy
     1.6      ID:         $Id$
     1.7      Author:     Olaf M"uller
     1.8      Copyright   1997  TU Muenchen
     1.9  
    1.10  Logical Connectives lifted to predicates.
    1.11  
    1.12 -ToDo:
    1.13 -
    1.14 -<--> einfuehren.
    1.15 -
    1.16  *)   
    1.17  	       
    1.18  Pred = Arith +