Nominal/Ex/TypeSchemes.thy
changeset 2689 ddc05a611005
parent 2676 028d5511c15f
child 2707 747ebf2f066d