equal
deleted
inserted
replaced
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 - updated to |
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 <A HREF="http://isabelle.in.tum.de">Isabelle 2019</A> thanks to Norbert Schirmer)<BR><BR> |
102 </TD> |
102 </TD> |
103 </TR> |
103 </TR> |
104 |
104 |
105 <TR> |
105 <TR> |
106 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
106 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |