src/HOL/Imperative_HOL/ex/Subarray.thy

--- a/src/HOL/Imperative_HOL/ex/Subarray.thy	Sun Sep 11 22:56:05 2011 +0200
+++ b/src/HOL/Imperative_HOL/ex/Subarray.thy	Mon Sep 12 07:55:43 2011 +0200
@@ -19,7 +19,7 @@
 lemma subarray_upd2: " i < n  \<Longrightarrow> subarray n m a (Array.update a i v h) = subarray n m a h"
 apply (simp add: subarray_def Array.update_def)
 apply (subst sublist'_update2)
-apply fastsimp
+apply fastforce
 apply simp
 done