src/HOLCF/Tr.thy
changeset 16631 58b4a689ae85
parent 16228 9b5b0c92230a
child 16756 e05c8039873a
--- 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"