src/HOL/Bali/Example.thy
changeset 18551 be0705186ff5
parent 18447 da548623916a
child 18576 8d98b7711e47
     1.1 --- a/src/HOL/Bali/Example.thy	Tue Jan 03 11:32:16 2006 +0100
     1.2 +++ b/src/HOL/Bali/Example.thy	Tue Jan 03 11:32:55 2006 +0100
     1.3 @@ -168,7 +168,7 @@
     1.4  arr_viewed_from :: "qtname \<Rightarrow> qtname \<Rightarrow> var"
     1.5  "arr_viewed_from accC C \<equiv> {accC,Base,True}StatRef (ClassT C)..arr"
     1.6  
     1.7 -BaseCl :: class
     1.8 +BaseCl :: "class"
     1.9  "BaseCl \<equiv> \<lparr>access=Public,
    1.10             cfields=[(arr, \<lparr>access=Public,static=True ,type=PrimT Boolean.[]\<rparr>),
    1.11  	            (vee, \<lparr>access=Public,static=False,type=Iface HasFoo    \<rparr>)],
    1.12 @@ -178,7 +178,7 @@
    1.13             super=Object,
    1.14             superIfs=[HasFoo]\<rparr>"
    1.15    
    1.16 -ExtCl  :: class
    1.17 +ExtCl  :: "class"
    1.18  "ExtCl  \<equiv> \<lparr>access=Public,
    1.19             cfields=[(vee, \<lparr>access=Public,static=False,type= PrimT Integer\<rparr>)], 
    1.20             methods=[Ext_foo],
    1.21 @@ -186,7 +186,7 @@
    1.22             super=Base,
    1.23             superIfs=[]\<rparr>"
    1.24  
    1.25 -MainCl :: class
    1.26 +MainCl :: "class"
    1.27  "MainCl \<equiv> \<lparr>access=Public,
    1.28             cfields=[], 
    1.29             methods=[],