src/HOLCF/UpperPD.thy

--- a/src/HOLCF/UpperPD.thy	Fri Dec 19 11:09:31 2008 +0100
+++ b/src/HOLCF/UpperPD.thy	Fri Dec 19 11:57:21 2008 +0100
@@ -248,7 +248,7 @@
 apply (simp add: PDPlus_absorb)
 done
 
-interpretation aci_upper_plus!: ab_semigroup_idem_mult "op +\<sharp>"
+class_interpretation aci_upper_plus: ab_semigroup_idem_mult ["op +\<sharp>"]
   by unfold_locales
     (rule upper_plus_assoc upper_plus_commute upper_plus_absorb)+