| changeset 75275 | cdb9c7d41a41 |
| parent 73389 | f3378101f555 |
| child 78177 | ea7a3cc64df5 |
--- a/src/HOL/SMT_Examples/VCC_Max.certs Fri Mar 11 09:22:13 2022 +0100 +++ b/src/HOL/SMT_Examples/VCC_Max.certs Fri Mar 11 09:23:05 2022 +0100 @@ -1,4 +1,4 @@ -bb3039fa3c51c2ff1e3d9c4077fcbaf0fc7ae1b5 2924 0 +49e1416aaa3d82d5c60160b24fb878147b44ee17 2924 0 unsat ((set-logic <null>) (declare-fun ?v0!15 () Int)