Quot/Nominal/Test.thy
changeset 1257 fde1ddadc726
parent 1251 11b8798dea5d