equal
deleted
inserted
replaced
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
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://nms.kcl.ac.uk/christian.urban/"> |
8 </head> |
8 </head> |
9 |
9 |
10 <body style="background-image: url(Cookbook/header-back.jpg);"> |
10 <body style="background-image: url(Cookbook/header-back.jpg);"> |
11 <img src="Cookbook/logo-documentation.gif" alt="Isabelle Programming Tutorial" style="border-width: 0px;" align="left"> |
11 <img src="Cookbook/logo-documentation.gif" alt="Isabelle Programming Tutorial" style="border-width: 0px;" align="left"> |
12 <h1>Isabelle Programming Tutorial</h1> |
12 <h1>Isabelle Programming Tutorial</h1> |