equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="utf-8"?> |
1 <?xml version="1.0" encoding="utf-8"?> |
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>The Nominal Datatype Package</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 </head> |
8 </head> |
9 |
9 |
10 <body style="background-image: url(graphics/header-back.jpg);"> |
10 <body style="background-image: url(graphics/header-back.jpg);"> |
11 <img src="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idp/logo-documentation.gif" alt="Isabelle Documentation Project" style="border-width: 0px;" align="left"> |
11 <img src="Cookbook/logo-documentation.gif" alt="Isabelle Documentation Project" style="border-width: 0px;" align="left"> |
12 <h1>Isabelle Documentation Project</h1> |
12 <h1>Isabelle Documentation Project</h1> |
13 <P ALIGN=right> |
13 <P ALIGN=right> |
14 <I>funded by the German Research Foundation (<A HREF="http://www.dfg.de/en" target="_top">DFG</A>)</I> |
14 <I>funded by the German Research Foundation (<A HREF="http://www.dfg.de/en" target="_top">DFG</A>)</I> |
15 </P> |
15 </P> |
16 |
16 |