1.1 --- a/src/HOL/Bali/State.thy	Tue May 12 20:07:05 2009 +0200
     1.2 +++ b/src/HOL/Bali/State.thy	Tue May 12 21:17:34 2009 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  types	vn   = "fspec + int"                    --{* variable name      *}
     1.5  record	obj  = 
     1.6            tag :: "obj_tag"                      --{* generalized object *}
     1.7 -          values :: "(vn, val) table"      
     1.8 +          "values" :: "(vn, val) table"      
     1.9  
    1.10  translations 
    1.11    "fspec" <= (type) "vname \<times> qtname"