# HG changeset patch
# User huffman
# Date 1117067048 -7200
# Node ID ebb53ebfd4e2c09fca1db0dd7e46de4accd1782c
# Parent  81a4b4a245b0691ac100b1a5d38482cd2c934879
added defaultsort declaration

diff -r 81a4b4a245b0 -r ebb53ebfd4e2 src/HOLCF/Fix.thy
--- a/src/HOLCF/Fix.thy	Thu May 26 02:23:27 2005 +0200
+++ b/src/HOLCF/Fix.thy	Thu May 26 02:24:08 2005 +0200
@@ -11,6 +11,8 @@
 imports Cfun Cprod Adm
 begin
 
+defaultsort pcpo
+
 subsection {* Definitions *}
 
 consts
diff -r 81a4b4a245b0 -r ebb53ebfd4e2 src/HOLCF/Sprod.thy
--- a/src/HOLCF/Sprod.thy	Thu May 26 02:23:27 2005 +0200
+++ b/src/HOLCF/Sprod.thy	Thu May 26 02:24:08 2005 +0200
@@ -11,6 +11,8 @@
 imports Cprod TypedefPcpo
 begin
 
+defaultsort pcpo
+
 subsection {* Definition of strict product type *}
 
 typedef (Sprod)  ('a, 'b) "**" (infixr 20) =