equal
deleted
inserted
replaced
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> |
53 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
53 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
54 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
54 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
55 <BR><BR> |
55 <BR><BR> |
56 |
56 |
|
57 <table border="0"> |
|
58 <tr> |
|
59 <td> |
57 <A HREF="http://isabelle.in.tum.de/nominal/"> |
60 <A HREF="http://isabelle.in.tum.de/nominal/"> |
58 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"> |
61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
59 </A> |
62 </td> |
|
63 </tr> |
|
64 <tr> |
|
65 <td> |
|
66 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/"> |
|
67 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
|
68 </td> |
|
69 </tr> |
|
70 </table> |
60 </TD> |
71 </TD> |
61 |
72 |
62 |
73 |
63 <!-- right column --> |
74 <!-- right column --> |
64 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
75 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
432 |
443 |
433 |
444 |
434 </TABLE> |
445 </TABLE> |
435 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
446 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
436 <!-- hhmts start --> |
447 <!-- hhmts start --> |
437 Last modified: Fri Oct 28 10:15:42 BST 2011 |
448 Last modified: Thu Nov 3 01:37:01 GMT 2011 |
438 <!-- hhmts end --> |
449 <!-- hhmts end --> |
439 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
450 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
440 |
451 |
441 </BODY> |
452 </BODY> |
442 </HTML> |
453 </HTML> |