2 ms·We have an implementation in Nominal Isabelle/HOL, but it's not used in the paper.by xgk 9y agoWe have an implementation in Nominal Isabelle/HOL, but it's not used in the paper.