src/HOL/IMP/Sem_Equiv.thy
changeset 45909 6fe61da4c467
parent 45218 f115540543d8
child 47818 151d137f1095