src/HOL/Nominal/Examples/Contexts.thy
changeset 41648 6d736d983d5c
parent 29097 68245155eb58
child 53015 a1119cf551e8