src/HOL/MicroJava/BV/BVExample.thy

--- a/src/HOL/MicroJava/BV/BVExample.thy	Tue Jul 14 10:53:44 2009 +0200
+++ b/src/HOL/MicroJava/BV/BVExample.thy	Tue Jul 14 10:54:04 2009 +0200
@@ -467,7 +467,7 @@
 
 lemmas [code] = JType.sup_def [unfolded exec_lub_def] JVM_le_unfold
 
-lemmas [code ind] = rtranclp.rtrancl_refl converse_rtranclp_into_rtranclp
+lemmas [code_ind] = rtranclp.rtrancl_refl converse_rtranclp_into_rtranclp
 
 code_module BV
 contains