src/HOL/IMP/Transition.thy
changeset 26462 dac4e2bce00d
parent 25862 9756a80d8a13
child 27362 a6dc1769fdda