equal
deleted
inserted
replaced
7 <title>Isabelle Distribution Area</title> |
7 <title>Isabelle Distribution Area</title> |
8 </head> |
8 </head> |
9 |
9 |
10 <body> |
10 <body> |
11 |
11 |
12 <h1><a href="http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"><img |
12 <h1><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/"><img |
13 align=bottom src="{ISABELLE}/lib/logo/isabelle.gif" width=100 |
13 align=bottom src="{ISABELLE}/lib/logo/isabelle.gif" width=100 |
14 alt="Isabelle"></a> Distribution Area</h1> |
14 alt="Isabelle"></a> Distribution Area</h1> |
15 |
15 |
16 <p><hr><p> |
16 <p><hr><p> |
17 |
17 |