equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" |
2 "http://www.w3.org/TR/html4/frameset.dtd"> |
2 "http://www.w3.org/TR/html4/frameset.dtd"> |
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>Nominal Methods Group</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://www.inf.kcl.ac.uk/staff/urbanc/"> |
9 </head> |
9 </head> |
10 |
10 |
11 <frameset ROWS="130,*"> |
11 <frameset ROWS="130,*"> |