| changeset 75275 | cdb9c7d41a41 |
| parent 73389 | f3378101f555 |
| child 78177 | ea7a3cc64df5 |
--- a/src/HOL/SMT_Examples/Boogie_Max.certs Fri Mar 11 09:22:13 2022 +0100 +++ b/src/HOL/SMT_Examples/Boogie_Max.certs Fri Mar 11 09:23:05 2022 +0100 @@ -1,4 +1,4 @@ -ae712ba60be9be1bab4bc3570ac5c4aec9bad512 778 0 +c35b5996e10ca92422b72151cf73d5012ace7376 778 0 unsat ((set-logic AUFLIA) (declare-fun ?v0!3 () Int)