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> |
110 </TD> |
110 </TD> |
111 </TR> |
111 </TR> |
112 |
112 |
113 </TABLE> |
113 </TABLE> |
114 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
114 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
115 <!-- hhmts start --> Last modified: Sun Apr 10 20:48:42 BST 2016 <!-- hhmts end --> |
115 <!-- hhmts start --> Last modified: Mon May 9 11:44:49 BST 2016 <!-- hhmts end --> |
116 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
116 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
117 </BODY> |
117 </BODY> |
118 </HTML> |
118 </HTML> |