equal
deleted
inserted
replaced
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://nms.kcl.ac.uk/christian.urban/"> |
8 <BASE HREF="https://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']); |