equal
deleted
inserted
replaced
37 <A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> |
37 <A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> |
38 <A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> |
38 <A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> |
39 <A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A> |
39 <A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A> |
40 <BR><BR> |
40 <BR><BR> |
41 |
41 |
42 <A HREF="http://isabelle.in.tum.de/nominal/"> |
|
43 <IMG SRC="ribbon.gif" ALT="" style="width: 114px; height: 100px;" align="left"> |
|
44 </A> |
42 </A> |
45 </TD> |
43 </TD> |
46 |
44 |
47 <!-- right column --> |
45 <!-- right column --> |
48 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
46 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |