src/HOL/Bali/Name.thy

--- a/src/HOL/Bali/Name.thy	Sat May 01 22:28:51 2004 +0200
+++ b/src/HOL/Bali/Name.thy	Mon May 03 23:22:17 2004 +0200
@@ -80,7 +80,7 @@
 consts qtname:: "'a::has_qtname \<Rightarrow> qtname"
 
 (* Declare qtname as instance of has_qtname *)
-instance pid_field_type::(has_pname,"type") has_qtname ..
+instance qtname_ext_type::("type") has_qtname ..
 
 defs (overloaded)
 qtname_qtname_def: "qtname (q::qtname) \<equiv> q"