equal
deleted
inserted
replaced
23 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
23 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
24 Download</span></td> |
24 Download</span></td> |
25 </tr> |
25 </tr> |
26 |
26 |
27 <tr> |
27 <tr> |
28 <td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top"> |
28 <td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top"> |
29 Latest Draft</a><BR><BR><BR></td> |
29 Latest Draft</a><BR><BR><BR></td> |
30 </tr> |
30 </tr> |
31 |
31 |
32 <tr> |
32 <tr> |
33 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
33 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |