--- a/src/HOL/IMP/Abs_Int1_const.thy Thu Sep 06 08:59:50 2012 -0700
+++ b/src/HOL/IMP/Abs_Int1_const.thy Fri Sep 07 07:20:55 2012 +0200
@@ -89,6 +89,7 @@
value "show_acom (steps test4_const 1)"
value "show_acom (steps test4_const 2)"
value "show_acom (steps test4_const 3)"
+value "show_acom (steps test4_const 4)"
value "show_acom_opt (AI_const test4_const)"
value "show_acom (steps test5_const 0)"
@@ -97,6 +98,7 @@
value "show_acom (steps test5_const 3)"
value "show_acom (steps test5_const 4)"
value "show_acom (steps test5_const 5)"
+value "show_acom (steps test5_const 6)"
value "show_acom_opt (AI_const test5_const)"
value "show_acom (steps test6_const 0)"
@@ -111,6 +113,8 @@
value "show_acom (steps test6_const 9)"
value "show_acom (steps test6_const 10)"
value "show_acom (steps test6_const 11)"
+value "show_acom (steps test6_const 12)"
+value "show_acom (steps test6_const 13)"
value "show_acom_opt (AI_const test6_const)"