Nominal/Ex1.thy
changeset 1731 3832a31a73b1
parent 1596 c69d9fb16785