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/">Home</A><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">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://www.inf.kcl.ac.uk/staff/urbanc/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> |
470 </TD> |
470 </TD> |
471 </TR> |
471 </TR> |
472 |
472 |
473 </TABLE> |
473 </TABLE> |
474 <P> |
474 <P> |
475 <!-- hhmts start --> Last modified: Thu May 5 10:22:33 BST 2016 <!-- hhmts end --> |
475 <!-- hhmts start --> Last modified: Mon May 9 11:44:04 BST 2016 <!-- hhmts end --> |
476 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
476 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
477 </BODY> |
477 </BODY> |
478 </HTML> |
478 </HTML> |