tuned

--- a/src/HOL/IMP/Abs_Int0.thy	Thu May 16 13:49:18 2013 +1000
+++ b/src/HOL/IMP/Abs_Int0.thy	Thu May 16 11:27:34 2013 +0200
@@ -480,6 +480,6 @@
 end
 
 text{* Problem: not executable because of the comparison of abstract states,
-i.e. functions, in the post-fixedpoint computation. *}
+i.e. functions, in the pre-fixpoint computation. *}
 
 end