diff -r 7c3f6f4f2f80 -r da83124c2962 Cookbook/index.html
--- a/Cookbook/index.html	Sun Oct 30 22:11:24 2011 +0000
+++ b/Cookbook/index.html	Sun Oct 30 22:14:01 2011 +0000
@@ -6,6 +6,19 @@
     <title>Isabelle Programming Tutorial</title>
     <link rel="stylesheet" href="nominal.css">
     <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
+    <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,*">