Nominal/activities/nominal-ijcar08/Lambda.thy
changeset 476 7a3572ffae4a
parent 418 18a6039148df