Nominal/activities/nominal-ijcar08/Lambda.thy
changeset 572 2a4cc5ba318d
parent 418 18a6039148df
equal deleted inserted replaced
571:31536371dfdf 572:2a4cc5ba318d