equal
deleted
inserted
replaced
29 <B>Links</B><BR> |
29 <B>Links</B><BR> |
30 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
30 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
31 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
31 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
32 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
32 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
34 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
34 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A> |
35 <BR> |
35 <BR> |
36 <BR> |
36 <BR> |
37 |
37 |
38 <B>Handy Information</B><BR> |
38 <B>Handy Information</B><BR> |
39 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
39 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
42 <BR><BR> |
42 <BR><BR> |
43 |
43 |
44 <table border="0"> |
44 <table border="0"> |
45 <tr> |
45 <tr> |
46 <td> |
46 <td> |
47 <A HREF="http://isabelle.in.tum.de/nominal/"> |
47 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/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> |