Quot/Nominal/Perm.thy
changeset 1231 59dc48db4a84
parent 1189 bd40c5cb803d
child 1247 a728e199851d