Nominal/Ex/Lambda.thy
changeset 2377 273f57049bd1
parent 2311 4da5c5c29009
child 2424 621ebd8b13c4