Nominal/Ex/TypeVarsTest.thy
changeset 3214 13ab4f0a0b0e
parent 3091 578e0265b235
child 3208 da575186d492
child 3228 040519ec99e9
equal deleted inserted replaced
3213:a8724924a62e 3214:13ab4f0a0b0e