Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IMP/Abs_Int1_parity.thy
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)"
isabelle