# HG changeset patch
# User Andreas Lochbihler
# Date 1368696907 -7200
# Node ID eb264c3fa30ec63fe727207ac4f022d5827c002f
# Parent  e0a83bd90bb1fcfe753d12811369ccaf8d23d77c# Parent  b477be38a7bb00ebb064ab3accf91c30f0683b69
merged

diff -r b477be38a7bb -r eb264c3fa30e src/HOL/IMP/Abs_Int0.thy
--- 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