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/SMT_Examples/SMT_Word_Examples.certs
changeset 54489 03ff4d1e6784
parent 50662 b1f4291eb916 
--- a/src/HOL/SMT_Examples/SMT_Word_Examples.certs	Tue Nov 19 01:30:14 2013 +0100
+++ b/src/HOL/SMT_Examples/SMT_Word_Examples.certs	Tue Nov 19 10:05:53 2013 +0100
@@ -54,3 +54,5 @@
 unsat
 e5c27ae0a583eeafeaa4ef3c59b1b4ec53e06b0f 1 0
 unsat
+7d3ef49480d3ed3a7e5f2d7a12e7108cf7fc7819 1 0
+unsat
isabelle