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://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A> |
34 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</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> |
114 </TD> |
114 </TD> |
115 </TR> |
115 </TR> |
116 |
116 |
117 </TABLE> |
117 </TABLE> |
118 <P> |
118 <P> |
119 <!-- hhmts start --> Last modified: Sun Apr 10 20:48:20 BST 2016 <!-- hhmts end --> |
119 <!-- hhmts start --> Last modified: Mon May 9 11:45:04 BST 2016 <!-- hhmts end --> |
120 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
120 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
121 </BODY> |
121 </BODY> |
122 </HTML> |
122 </HTML> |