Nominal/activities/nominal-ijcar08/Lambda.thy
changeset 568 98191be03764
parent 418 18a6039148df