src/HOL/Nominal/Examples/W.thy
changeset 78659 b5f3d1051b13
parent 68386 98cf1c823c48
child 80140 6d56e85f674e