Nominal/Ex/TypeVarsTest.thy
changeset 3157 de89c95c5377
parent 3091 578e0265b235
child 3208 da575186d492
child 3228 040519ec99e9