Quot/Nominal/Nominal2_Base.thy
changeset 958 fd2493ae3df2
parent 947 fa810f01f7b5
child 1008 7c633507a809