src/HOL/Nominal/Examples/W.thy
changeset 78659 b5f3d1051b13
parent 68386 98cf1c823c48
child 80140 6d56e85f674e
equal deleted inserted replaced
78658:71536ae52b16 78659:b5f3d1051b13