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