--- a/src/HOL/IMP/AbsInt2.thy Wed Sep 21 03:24:54 2011 +0200
+++ b/src/HOL/IMP/AbsInt2.thy Wed Sep 21 06:26:15 2011 +0200
@@ -143,5 +143,6 @@
value [code] "list_up(AI_ivl' test3_ivl Top)"
value [code] "list_up(AI_ivl' test4_ivl Top)"
+value [code] "list_up(AI_ivl' test5_ivl Top)"
end