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://www.inf.kcl.ac.uk/staff/urbanc/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://nms.kcl.ac.uk/christian.urban/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);"> |
34 People Who Contributed So Far</span></td> |
34 People Who Contributed So Far</span></td> |
35 </tr> |
35 </tr> |
36 |
36 |
37 <tr> |
37 <tr> |
38 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/" target="content">Christian Urban</a></td> |
38 <td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/" target="content">Christian Urban</a></td> |
39 </tr> |
39 </tr> |
40 |
40 |
41 <tr> |
41 <tr> |
42 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~berghofe" target="content">Stefan Berghofer</a></td> |
42 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~berghofe" target="content">Stefan Berghofer</a></td> |
43 </tr> |
43 </tr> |
90 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
90 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
91 Feedback</span></td> |
91 Feedback</span></td> |
92 </tr> |
92 </tr> |
93 |
93 |
94 <tr> |
94 <tr> |
95 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/main.html#readers" target="content">What early readers said</a> </td> |
95 <td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/Cookbook/main.html#readers" target="content">What early readers said</a> </td> |
96 </tr> |
96 </tr> |
97 |
97 |
98 <tr> |
98 <tr> |
99 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
99 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
100 Workshops</span></td> |
100 Workshops</span></td> |
101 </tr> |
101 </tr> |
102 |
102 |
103 <tr> |
103 <tr> |
104 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td> |
104 <td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td> |
105 </tr> |
105 </tr> |
106 |
106 |
107 <tr> |
107 <tr> |
108 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td> |
108 <td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td> |
109 </tr> |
109 </tr> |
110 |
110 |
111 </tbody> |
111 </tbody> |
112 </table> |
112 </table> |
113 |
113 |