src/HOLCF/IOA/meta_theory/Pred.thy
changeset 7661 8c3190b173aa
parent 6340 7d5cbd5819a0
child 12114 a8e860c86252
     1.1 --- a/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Sep 30 10:06:56 1999 +0200
     1.2 +++ b/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Sep 30 16:16:56 1999 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  *)   
     1.6  	       
     1.7 -Pred = Arith +  
     1.8 +Pred = Main +
     1.9  
    1.10  default term
    1.11  
    1.12 @@ -68,4 +68,4 @@
    1.13  IMPLIES_def
    1.14    "(P .--> Q) s == (P s) --> (Q s)"
    1.15  
    1.16 -end
    1.17 \ No newline at end of file
    1.18 +end