equal
deleted
inserted
replaced
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> |
40 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
40 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
42 <BR><BR> |
42 <BR><BR> |
43 |
43 |
|
44 <table border="0"> |
|
45 <tr> |
|
46 <td> |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
47 <A HREF="http://isabelle.in.tum.de/nominal/"> |
45 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"> |
48 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
46 </A> |
49 </td> |
|
50 </tr> |
|
51 <tr> |
|
52 <td> |
|
53 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/"> |
|
54 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
|
55 </td> |
|
56 </tr> |
|
57 </table> |
47 </TD> |
58 </TD> |
48 |
59 |
49 |
60 |
50 <!-- right column --> |
61 <!-- right column --> |
51 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
62 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
107 </TR> |
118 </TR> |
108 |
119 |
109 </TABLE> |
120 </TABLE> |
110 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
121 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
111 <!-- hhmts start --> |
122 <!-- hhmts start --> |
112 Last modified: Sat Oct 22 11:02:07 BST 2011 |
123 Last modified: Thu Nov 3 01:35:52 GMT 2011 |
113 <!-- hhmts end --> |
124 <!-- hhmts end --> |
114 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
125 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
115 </BODY> |
126 </BODY> |
116 </HTML> |
127 </HTML> |