Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
values is now a keyword
authorhaftmann
Tue, 12 May 2009 21:17:34 +0200
changeset 31127 b63c3f6bd3be
parent 31126 d8a6122affd7
child 31128 b3bb28c87409
values is now a keyword
src/HOL/Bali/State.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Bali/State.thy	Tue May 12 20:07:05 2009 +0200
+++ b/src/HOL/Bali/State.thy	Tue May 12 21:17:34 2009 +0200
@@ -29,7 +29,7 @@
 types	vn   = "fspec + int"                    --{* variable name      *}
 record	obj  = 
           tag :: "obj_tag"                      --{* generalized object *}
-          values :: "(vn, val) table"      
+          "values" :: "(vn, val) table"      
 
 translations 
   "fspec" <= (type) "vname \<times> qtname"
isabelle