src/HOLCF/IOA/meta_theory/Pred.thy

--- a/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Sep 30 10:06:56 1999 +0200
+++ b/src/HOLCF/IOA/meta_theory/Pred.thy	Thu Sep 30 16:16:56 1999 +0200
@@ -7,7 +7,7 @@
 
 *)   
 	       
-Pred = Arith +  
+Pred = Main +
 
 default term
 
@@ -68,4 +68,4 @@
 IMPLIES_def
   "(P .--> Q) s == (P s) --> (Q s)"
 
-end
\ No newline at end of file
+end