src/HOL/Bali/Example.thy
changeset 18551 be0705186ff5
parent 18447 da548623916a
child 18576 8d98b7711e47
--- 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=[],