Cookbook/index.html
changeset 465 4dac76eb27d9
parent 28 da83124c2962
child 473 a6f2847465eb
equal deleted inserted replaced
464:ae516c20c5f1 465:4dac76eb27d9
     3 <html>
     3 <html>
     4 <head>
     4 <head>
     5     <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
     5     <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
     6     <title>Isabelle Programming Tutorial</title>
     6     <title>Isabelle Programming Tutorial</title>
     7     <link rel="stylesheet" href="nominal.css">
     7     <link rel="stylesheet" href="nominal.css">
     8     <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
     8     <BASE HREF="http://nms.kcl.ac.uk/christian.urban/">
     9     <script type="text/javascript">
     9     <script type="text/javascript">
    10 
    10 
    11   var _gaq = _gaq || [];
    11   var _gaq = _gaq || [];
    12   _gaq.push(['_setAccount', 'UA-4143458-5']);
    12   _gaq.push(['_setAccount', 'UA-4143458-5']);
    13   _gaq.push(['_trackPageview']);
    13   _gaq.push(['_trackPageview']);