https://123dok.net/document/qo5lxmom-nominal-techniques-in-isabelle-hol.html