The following archive contains implementation of the rules and examples using them. The files work with Isabelle2016. The README file in the archive contains additional description of the content.
Types_to_Sets-Isabelle.tar.gzThe following paper is the extented technical report of the submitted paper. It contains more background theory for the proofs from the submitted paper.
Extented technical report