<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
"http://www.w3.org/TR/html4/frameset.dtd">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
<title>Isabelle Programming Tutorial</title>
<link rel="stylesheet" href="nominal.css">
<BASE HREF="https://nms.kcl.ac.uk/christian.urban/">
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-4143458-5']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>
</head>
<frameset ROWS="130,*">
<frame scrolling="no" frameborder="0" noresize="noresize" SRC="Cookbook/title.html" NAME="title">
<frameset COLS="200,*">
<frame scrolling="no" frameborder="0" noresize="noresize" SRC="Cookbook/menu.html" NAME="menu">
<frame noresize="noresize" frameborder="0" SRC="Cookbook/main.html" NAME="content">
</frameset>
</frameset>
</html>