defaultsort pcpo

--- a/src/HOLCF/Tr.thy	Fri Jul 01 04:09:27 2005 +0200
+++ b/src/HOLCF/Tr.thy	Fri Jul 01 04:32:33 2005 +0200
@@ -11,6 +11,8 @@
 imports Lift
 begin
 
+defaultsort pcpo
+
 types
   tr = "bool lift"