equal
deleted
inserted
replaced
95 <A HREF="https://nms.kcl.ac.uk/christian.urban/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A> |
95 <A HREF="https://nms.kcl.ac.uk/christian.urban/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A> |
96 </TD> |
96 </TD> |
97 </TR> |
97 </TR> |
98 </TABLE> |
98 </TABLE> |
99 <p> |
99 <p> |
100 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="https://nms.kcl.ac.uk/christian.urban/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming)<BR><BR> |
100 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="https://nms.kcl.ac.uk/christian.urban/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming - updated to |
|
101 Isabelle 2019 thanks to Norbert Schirmer)<BR><BR> |
101 </TD> |
102 </TD> |
102 </TR> |
103 </TR> |
103 |
104 |
104 <TR> |
105 <TR> |
105 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
106 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |