src/HOL/MetisExamples/Message.thy
changeset 28263 69eaa97e7e96
parent 26807 4cd176ea28dc
child 28486 873726bdfd47