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> |
516 </TR> |
516 </TR> |
517 |
517 |
518 |
518 |
519 </TABLE> |
519 </TABLE> |
520 <P> |
520 <P> |
521 <!-- hhmts start --> Last modified: Sun May 8 10:16:10 BST 2016 <!-- hhmts end --> |
521 <!-- hhmts start --> Last modified: Mon May 9 11:43:46 BST 2016 <!-- hhmts end --> |
522 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
522 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
523 |
523 |
524 </BODY> |
524 </BODY> |
525 </HTML> |
525 </HTML> |