Nominal/activities/nominal-ijcar08/Minimal.thy
changeset 580 4d01dc679458
parent 418 18a6039148df