src/HOL/Nominal/Examples/Class1.thy
changeset 74913 c2a2be496f35
parent 74101 d804e93ae9ff
child 80138 a30a1385f7d0