Corrected implementation of arbitrary on cname.

--- a/src/HOL/MicroJava/JVM/JVMListExample.thy	Fri Jul 01 14:10:02 2005 +0200
+++ b/src/HOL/MicroJava/JVM/JVMListExample.thy	Fri Jul 01 14:11:06 2005 +0200
@@ -98,7 +98,7 @@
 
   "arbitrary" ("(raise ERROR)")
   "arbitrary" :: "val" ("{* Unit *}")
-  "arbitrary" :: "cname" ("Object")
+  "arbitrary" :: "cname" ("{* Object *}")
 
   "list_nam" ("\"list\"")
   "test_nam" ("\"test\"")
@@ -115,7 +115,7 @@
 
 subsection {* Single step execution *}
 
-generate_code 
+generate_code
   test = "exec (E, start_state E test_name makelist_name)"
 
 ML {* test *}