equal
deleted
inserted
replaced
42 <B>Links</B><BR> |
42 <B>Links</B><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/index.html">Home</A><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/index.html">Home</A><BR> |
44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
47 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
47 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</A> |
48 <BR> |
48 <BR> |
49 <BR> |
49 <BR> |
50 |
50 |
51 <B>Handy Information</B><BR> |
51 <B>Handy Information</B><BR> |
52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
351 </TR> |
351 </TR> |
352 |
352 |
353 |
353 |
354 </TABLE> |
354 </TABLE> |
355 <P> |
355 <P> |
356 <!-- hhmts start --> Last modified: Fri Nov 13 13:13:26 GMT 2015 <!-- hhmts end --> |
356 <!-- hhmts start --> Last modified: Wed Mar 30 16:25:03 BST 2016 <!-- hhmts end --> |
357 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
357 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
358 </BODY> |
358 </BODY> |
359 </HTML> |
359 </HTML> |