These are the accompanying theories for the paper "Local Variables and Quantum Relational Hoare Logic". To use them, download Isabelle (version 2021-1) from https://isabelle.in.tum.de/, run the GUI, and open any of the theory files in this directory.
dominique-unruh/qrhl-local-variables-isabelle
Isabelle/HOL development for the paper "Local Variables and Quantum Relational Hoare Logic"
IsabelleMIT