src/HOL/Nominal/Examples/CR.thy
changeset 41648 6d736d983d5c
parent 41589 bbd861837ebc
child 53015 a1119cf551e8