3 <html> |
3 <html> |
4 <head> |
4 <head> |
5 <title>Isabelle Programming Tutorial</title> |
5 <title>Isabelle Programming Tutorial</title> |
6 <link rel="stylesheet" href="nominal.css"> |
6 <link rel="stylesheet" href="nominal.css"> |
7 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/"> |
7 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/"> |
|
8 <script type="text/javascript"> |
|
9 |
|
10 var _gaq = _gaq || []; |
|
11 _gaq.push(['_setAccount', 'UA-4143458-5']); |
|
12 _gaq.push(['_trackPageview']); |
|
13 |
|
14 (function() { |
|
15 var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true; |
|
16 ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js'; |
|
17 var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); |
|
18 })(); |
|
19 |
|
20 </script> |
8 </head> |
21 </head> |
9 |
22 |
10 <body style="background-image: url(graphics/header-back.jpg);"> |
23 <body style="background-image: url(Cookbook/header-back.jpg);"> |
11 <img src="Cookbook/logo-documentation.gif" alt="Isabelle Documentation Project" style="border-width: 0px;" align="left"> |
24 <img src="Cookbook/logo-documentation.gif" alt="Isabelle Programming Tutorial" style="border-width: 0px;" align="left"> |
12 <h1>Isabelle Documentation Project</h1> |
25 <h1>Isabelle Programming Tutorial</h1> |
13 <P ALIGN=right> |
26 <P ALIGN=right> |
14 <I>funded by the German Research Foundation (<A HREF="http://www.dfg.de/en" target="_top">DFG</A>)</I> |
27 <I>funded by the German Research Foundation (<A HREF="http://www.dfg.de/en" target="_top">DFG</A>)</I> |
15 </P> |
28 </P> |
16 |
|
17 <!-- script type="text/javascript"> |
|
18 var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); |
|
19 document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); |
|
20 </script> |
|
21 <script type="text/javascript"> |
|
22 try { |
|
23 var pageTracker = _gat._getTracker("UA-4143458-3"); |
|
24 pageTracker._trackPageview(); |
|
25 } catch(err) {}</script --> |
|
26 </body> |
29 </body> |
27 </html> |
30 </html> |