Nominal/activities/nominal-ijcar08/Minimal.thy
changeset 639 88dcf2f5c2dd
parent 418 18a6039148df