src/HOL/IMP/Com.thy
changeset 26462 dac4e2bce00d
parent 16417 9bc16273c2d4
child 27362 a6dc1769fdda