<!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>
<ul>
<li>1. Download Isabelle<BR>
<ul>
<li>For Linux: <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>
<li>For MacOSX: <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a>
</ul>
<li>2. Download Artefact
<li>3. Check Artefact
<li>4. Inspect Artefact
</u>
</TABLE>
<P>
<!-- hhmts start --> Last modified: Mon Jul 7 00:04:10 BST 2014 <!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>
</HTML>