merged

--- a/src/HOL/IMP/Abs_Int0.thy	Thu May 16 10:08:28 2013 +0200
+++ b/src/HOL/IMP/Abs_Int0.thy	Thu May 16 11:35:07 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