equal
deleted
inserted
replaced
40 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
40 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
41 <BR><BR> |
41 <BR><BR> |
42 |
42 |
43 |
43 |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
45 <IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left"> |
45 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"> |
46 </A> |
46 </A> |
47 </TD> |
47 </TD> |
48 |
48 |
49 |
49 |
50 <!-- right column --> |
50 <!-- right column --> |