--- a/src/HOLCF/Cprod.thy Wed Apr 28 11:41:27 2010 +0200 +++ b/src/HOLCF/Cprod.thy Wed Apr 28 12:07:52 2010 +0200 @@ -8,7 +8,7 @@ imports Bifinite begin -defaultsort cpo +default_sort cpo subsection {* Continuous case function for unit type *}