--- a/src/HOL/Bali/Example.thy Tue Jan 03 11:32:16 2006 +0100
+++ b/src/HOL/Bali/Example.thy Tue Jan 03 11:32:55 2006 +0100
@@ -168,7 +168,7 @@
arr_viewed_from :: "qtname \<Rightarrow> qtname \<Rightarrow> var"
"arr_viewed_from accC C \<equiv> {accC,Base,True}StatRef (ClassT C)..arr"
-BaseCl :: class
+BaseCl :: "class"
"BaseCl \<equiv> \<lparr>access=Public,
cfields=[(arr, \<lparr>access=Public,static=True ,type=PrimT Boolean.[]\<rparr>),
(vee, \<lparr>access=Public,static=False,type=Iface HasFoo \<rparr>)],
@@ -178,7 +178,7 @@
super=Object,
superIfs=[HasFoo]\<rparr>"
-ExtCl :: class
+ExtCl :: "class"
"ExtCl \<equiv> \<lparr>access=Public,
cfields=[(vee, \<lparr>access=Public,static=False,type= PrimT Integer\<rparr>)],
methods=[Ext_foo],
@@ -186,7 +186,7 @@
super=Base,
superIfs=[]\<rparr>"
-MainCl :: class
+MainCl :: "class"
"MainCl \<equiv> \<lparr>access=Public,
cfields=[],
methods=[],