24 <TD BGCOLOR="#FFFFFF" |
24 <TD BGCOLOR="#FFFFFF" |
25 WIDTH="24%" |
25 WIDTH="24%" |
26 VALIGN="TOP"> |
26 VALIGN="TOP"> |
27 |
27 |
28 <B>Links</B><BR> |
28 <B>Links</B><BR> |
29 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
29 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR> |
30 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
30 <A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR> |
31 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
31 <A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR> |
32 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
32 <A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</A> |
33 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A> |
34 <BR> |
34 <BR> |
35 <BR> |
35 <BR> |
36 |
36 |
37 <B>Handy Information</B><BR> |
37 <B>Handy Information</B><BR> |
38 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
38 <A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> |
39 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
39 <A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> |
40 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
40 <A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A> |
41 <BR><BR> |
41 <BR><BR> |
42 |
42 |
43 |
43 |
44 <table border="0"> |
44 <table border="0"> |
45 <tr> |
45 <tr> |
46 <td> |
46 <td> |
47 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/"> |
47 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/"> |
48 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
48 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
49 </td> |
49 </td> |
50 </tr> |
50 </tr> |
51 <tr> |
51 <tr> |
52 <td> |
52 <td> |
53 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/"> |
53 <A HREF="http://nms.kcl.ac.uk/christian.urban/Cookbook/"> |
54 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
54 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
55 </td> |
55 </td> |
56 </tr> |
56 </tr> |
57 </table> |
57 </table> |
58 </TD> |
58 </TD> |