equal
deleted
inserted
replaced
41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
42 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
42 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
44 <BR><BR> |
44 <BR><BR> |
45 |
45 |
|
46 <table border="0"> |
|
47 <tr> |
|
48 <td> |
46 <A HREF="http://isabelle.in.tum.de/nominal/"> |
49 <A HREF="http://isabelle.in.tum.de/nominal/"> |
47 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"> |
50 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
48 </A> |
51 </td> |
|
52 </tr> |
|
53 <tr> |
|
54 <td> |
|
55 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/"> |
|
56 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
|
57 </td> |
|
58 </tr> |
|
59 </table> |
49 </TD> |
60 </TD> |
50 |
61 |
51 |
62 |
52 <!-- right column --> |
63 <!-- right column --> |
53 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
64 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
328 |
339 |
329 |
340 |
330 </TABLE> |
341 </TABLE> |
331 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
342 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
332 <!-- hhmts start --> |
343 <!-- hhmts start --> |
333 Last modified: Sat Oct 22 12:01:22 BST 2011 |
344 Last modified: Thu Nov 3 01:37:25 GMT 2011 |
334 <!-- hhmts end --> |
345 <!-- hhmts end --> |
335 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
346 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
336 </BODY> |
347 </BODY> |
337 </HTML> |
348 </HTML> |