Version 0.7.2

Installation instructions

See https://dominique-unruh.github.io/qrhl-tool/install.html

Changes

• Support for Isabelle2023
• Tactics squash and inline work on denotational-equivalence subgoals
• Tactic squash supports a quantum initialization and application of unitary (in addition to assignment and sampling)
• Various bugfixes