src/HOL/Imperative_HOL/Array.thy
changeset 37797 96551d6b1414
parent 37792 ba0bc31b90d7
parent 37796 08bd610b2583
child 37798 0b0570445a2a
equal deleted inserted replaced
37794:46c21c1f8cb0 37797:96551d6b1414