src/HOL/Quotient_Examples/Quotient_Message.thy
changeset 55415 05f5fdb8d093
parent 47304 a0d97d919f01
child 58305 57752a91eec4