Nominal/Ex/TestMorePerm.thy
changeset 2377 273f57049bd1
parent 2105 e25b0fff0dd2