<!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
</u>
</TABLE>
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
<!-- hhmts start -->
Last modified: Thu Feb 13 20:24:23 CET 2012
<!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>
</HTML>