changeset 49188 | 22f7e7b68f50 |
parent 47613 | e72e44cee6f2 |
child 49344 | ce1ccb78ecda |
--- a/src/HOL/IMP/Abs_Int1_parity.thy Thu Sep 06 08:59:50 2012 -0700 +++ b/src/HOL/IMP/Abs_Int1_parity.thy Fri Sep 07 07:20:55 2012 +0200 @@ -136,6 +136,7 @@ value "show_acom (steps test2_parity 3)" value "show_acom (steps test2_parity 4)" value "show_acom (steps test2_parity 5)" +value "show_acom (steps test2_parity 6)" value "show_acom_opt (AI_parity test2_parity)"