equal
deleted
inserted
replaced
84 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A> |
84 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A> |
85 </TD> |
85 </TD> |
86 </TR> |
86 </TR> |
87 </TABLE> |
87 </TABLE> |
88 <p> |
88 <p> |
89 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://isabelle.in.tum.de/nominal/activities/idp" target="_top">Isabelle Documentation Project</A> (contains now a draft of a 200-page tutorial on Isabelle programming)<BR> |
89 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming)<BR> |
90 </TD> |
90 </TD> |
91 </TR> |
91 </TR> |
92 |
92 |
93 <TR> |
93 <TR> |
94 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
94 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
276 |
276 |
277 |
277 |
278 </TABLE> |
278 </TABLE> |
279 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
279 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
280 <!-- hhmts start --> |
280 <!-- hhmts start --> |
281 Last modified: Fri Oct 28 10:16:06 BST 2011 |
281 Last modified: Mon Oct 31 00:56:27 GMT 2011 |
282 <!-- hhmts end --> |
282 <!-- hhmts end --> |
283 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
283 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
284 |
284 |
285 </BODY> |
285 </BODY> |
286 </HTML> |
286 </HTML> |