diff -r 46c21c1f8cb0 -r 96551d6b1414 src/HOL/Imperative_HOL/Array.thy