Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/MicroJava/J/SystemClasses.thy
changeset 28524 644b62cf678f
parent 16417 9bc16273c2d4
child 35416 d8d7d1b785af 
--- a/src/HOL/MicroJava/J/SystemClasses.thy	Tue Oct 07 16:07:40 2008 +0200
+++ b/src/HOL/MicroJava/J/SystemClasses.thy	Tue Oct 07 16:07:50 2008 +0200
@@ -15,7 +15,7 @@
 
 constdefs
   ObjectC :: "'c cdecl"
-  "ObjectC \<equiv> (Object, (arbitrary,[],[]))"
+  "ObjectC \<equiv> (Object, (undefined,[],[]))"
 
   NullPointerC :: "'c cdecl"
   "NullPointerC \<equiv> (Xcpt NullPointer, (Object,[],[]))"
isabelle