Quot/Nominal/Perm.thy
changeset 1241 ab1aa1b48547
parent 1189 bd40c5cb803d
child 1247 a728e199851d