Nominal/Ex/SingleLet.thy
changeset 2416 12283a96e851
parent 2410 2bbdb9c427b5
child 2424 621ebd8b13c4