<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd"> <HEAD><TITLE>HGMP</TITLE><BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/"></HEAD><BODY TEXT="#000000" BGCOLOR="#4169E1" LINK="#0000EF" VLINK="#51188E" ALINK="#FF0000"><TABLE WIDTH="100%" BGCOLOR="#4169E1" BORDER="0" FRAME="border" CELLPADDING="10" CELLSPACING="2" RULES="all"><!-- right column --><TR><TD BGCOLOR="#FFFFFF" WIDTH="75%"><H2>Modelling homogeneous generative meta-programming: Artefact</H2>Martin Berger, Laurence Tratt, Christian Urban<p><H4>For MacOS X</H4> <ul><li>1. Download the Isabelle disk image file <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a>. Open the image file and move the file Isabelle2014-RC0 into a directory.<li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>, as well as the directory <tt>nominal2</tt>.<li>3. If you want to recheck the sources of the paper, start on the command line <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle build -d . MC</tt></p><li>4. If you want to view and edit the sources of the paper, start on the command line <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></p></ul><H4>For Linux</H4> <ul><li>1. Download the Isabelle disk image file <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>. Unpack this tgz-file into a directory using on the command line <p><tt>tar -zxvf Isabelle2014-RC0_linux.tar.gz</tt></p> <li>2. Download the artefact <a href="meta-compile.tgz">meta-compile.tgz</a>. Unpack this file into the same directory. This will create files <tt>Isabelle_Proofs.thy</tt> and <tt>ROOT</tt>, as well as the directory <tt>nominal2</tt>.<li>3. If you want to recheck the sources of the paper, start on the command line <p><tt>./Isabelle2014-RC0/bin/isabelle build -d . MC</tt></p><li>4. If you want to view and edit the sources of the paper, start on the command line <p><tt>./Isabelle2014-RC0/bin/isabelle jedit Isabelle_Proofs.thy</tt></p></u></TABLE><P><!-- hhmts start --> Last modified: Tue Jul 8 12:56:33 BST 2014 <!-- hhmts end --><a href="http://validator.w3.org/check/referer">[Validate this page.]</a></BODY></HTML>