src/HOL/IMP/Examples.thy
changeset 33176 d6936fd7cda8
parent 27362 a6dc1769fdda
child 41589 bbd861837ebc
equal deleted inserted replaced
33174:1f2051f41335 33176:d6936fd7cda8