Nominal/activities/nominal-ijcar08/Lambda.thy
changeset 604 b56b728466c8
parent 418 18a6039148df