src/HOL/Nominal/Examples/Standardization.thy
changeset 82968 b2b88d5b01b6
parent 80914 d97fdabd9e2b