Nominal/activities/nominal-ijcar08/Lambda.thy
changeset 439 e53441994412
parent 418 18a6039148df