Nominal/activities/cas09/Lec2.thy
changeset 639 88dcf2f5c2dd
parent 415 f1be8028a4a9