src/HOL/Bali/Decl.thy

--- a/src/HOL/Bali/Decl.thy	Thu Jul 01 16:54:42 2010 +0200
+++ b/src/HOL/Bali/Decl.thy	Thu Jul 01 16:54:44 2010 +0200
@@ -257,7 +257,7 @@
 lemma memberid_mdecl_simp1: "memberid (mdecl m) = mid (fst m)"
 by (cases m) (simp add: memberdecl_memberid_def)
 
-instantiation * :: (type, has_memberid) has_memberid
+instantiation prod :: (type, has_memberid) has_memberid
 begin
 
 definition