A utility to enable better support for overriding of syntax notation in Isabelle/HOL, developed by Dr Frank Zeyda.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool