diff -r 5ededdde9e9f -r c86a47d4966e Quot/Examples/IntEx.thy
--- a/Quot/Examples/IntEx.thy	Wed Dec 09 00:54:46 2009 +0100
+++ b/Quot/Examples/IntEx.thy	Wed Dec 09 05:59:49 2009 +0100
@@ -321,7 +321,6 @@
 
 lemma "map (\<lambda>x. PLUS x ZERO) l = l"
 apply(lifting lam_tst4)
-apply(cleaning)
-sorry
+done
 
 end