src/HOLCF/IOA/meta_theory/Pred.thy
changeset 12338 de0f4a63baa5
parent 12218 6597093b77e7
child 14565 c6dc17aab88a
     1.1 --- a/src/HOLCF/IOA/meta_theory/Pred.thy	Sat Dec 01 18:51:46 2001 +0100
     1.2 +++ b/src/HOLCF/IOA/meta_theory/Pred.thy	Sat Dec 01 18:52:32 2001 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  	       
     1.5  Pred = Main +
     1.6  
     1.7 -default term
     1.8 +default type
     1.9  
    1.10  types
    1.11