
diff -r e6e1ec6d5c1c -r a7ca72710dfe src/HOL/Bali/Example.thy
--- a/src/HOL/Bali/Example.thy	Mon Feb 27 17:39:34 2012 +0100
+++ b/src/HOL/Bali/Example.thy	Mon Feb 27 17:40:59 2012 +0100
@@ -975,7 +975,6 @@
 done
 
 declare mhead_resTy_simp [simp add]
-declare member_is_static_simp [simp add]
 
 lemma wf_BaseC: "wf_cdecl tprg (Base,BaseCl)"
 apply (unfold wf_cdecl_def BaseCl_def arr_viewed_from_def)




