equal
deleted
inserted
replaced
28 <B>Links</B><BR> |
28 <B>Links</B><BR> |
29 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
29 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
30 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
30 <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/teaching.html">Teaching</A><BR> |
31 <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/travelling.html">Recent Talks</A><BR> |
32 <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/Nominal/">My Research Group</A> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</A> |
34 <BR> |
34 <BR> |
35 <BR> |
35 <BR> |
36 |
36 |
37 <B>Handy Information</B><BR> |
37 <B>Handy Information</B><BR> |
38 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
38 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
159 </TD> |
159 </TD> |
160 </TR> |
160 </TR> |
161 |
161 |
162 </TABLE> |
162 </TABLE> |
163 <P> |
163 <P> |
164 <!-- hhmts start --> Last modified: Thu May 5 10:22:01 BST 2016 <!-- hhmts end --> |
164 <!-- hhmts start --> Last modified: Mon May 9 11:44:32 BST 2016 <!-- hhmts end --> |
165 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
165 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
166 </BODY> |
166 </BODY> |
167 </HTML> |
167 </HTML> |
168 |
168 |
169 |
169 |