src/HOL/UNITY/Comp/Alloc.thy

--- a/src/HOL/UNITY/Comp/Alloc.thy	Tue Feb 21 17:08:32 2012 +0100
+++ b/src/HOL/UNITY/Comp/Alloc.thy	Tue Feb 21 17:09:17 2012 +0100
@@ -537,8 +537,6 @@
 declare ask_inv_client_map_drop_map [simp]
 
 
-declare finite_lessThan [iff]
-
 text{*Client : <unfolded specification> *}
 lemmas client_spec_simps =
   client_spec_def client_increasing_def client_bounded_def