src/HOL/HOLCF/UpperPD.thy

--- a/src/HOL/HOLCF/UpperPD.thy	Sat Dec 11 10:35:40 2010 -0800
+++ b/src/HOL/HOLCF/UpperPD.thy	Sat Dec 11 11:26:37 2010 -0800
@@ -76,6 +76,8 @@
   "{S::'a pd_basis set. upper_le.ideal S}"
 by (rule upper_le.ex_ideal)
 
+type_notation (xsymbols) upper_pd ("('(_')\<sharp>)")
+
 instantiation upper_pd :: ("domain") below
 begin