Modelling homogeneous generative meta-programming: Artefact

For MacOS X

• 1. Download the Isabelle disk image file Isabelle2014-RC0.dmg. Open the image file and move the file Isabelle2014-RC0 into a directory.
• 2. Download the artefact meta-compile.tgz. Unpack this file into the same directory. This will create files Isabelle_Proofs.thy and ROOT, as well as the directory nominal2.
• 3. If you want to recheck the sources of the paper, start on the command line ./Isabelle2014-RC0.app/Isabelle/bin/isabelle build -d . MC
• 4. If you want to view and edit the sources of the paper, start on the command line ./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy