|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
3 <html> |
|
4 <head> |
|
5 <title>Menu</title> |
|
6 <style type="text/css"> |
|
7 a:link{text-decoration:none;} |
|
8 a:visited{text-decoration:none;} |
|
9 a:hover{text-decoration:underline;} |
|
10 </style> |
|
11 </head> |
|
12 |
|
13 |
|
14 <body style="color: rgb(0,0,0);" alink="#000099" link="#000099" vlink="#990099"> |
|
15 |
|
16 <span style="font-weight: bold; color: rgb(255, 255, 255);"></span> |
|
17 <table style="text-align: left; width: 100%;" border="0" cellpadding="2" cellspacing="0"> |
|
18 |
|
19 |
|
20 <tbody> |
|
21 |
|
22 <tr> |
|
23 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
|
24 Download</span></td> |
|
25 </tr> |
|
26 |
|
27 <tr> |
|
28 <td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://www4.in.tum.de/~urbanc/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> |
|
30 </tr> |
|
31 |
|
32 <tr> |
|
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> |
|
35 </tr> |
|
36 |
|
37 <tr> |
|
38 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~urbanc" target="content">Christian Urban</a></td> |
|
39 </tr> |
|
40 |
|
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> |
|
43 </tr> |
|
44 |
|
45 <tr> |
|
46 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~blanchet/" target="content">Jasmin Blanchette</a></td> |
|
47 </tr> |
|
48 |
|
49 <tr> |
|
50 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~boehmes" target="content">Sascha Böhme</a></td> |
|
51 </tr> |
|
52 |
|
53 <tr> |
|
54 <td style="background-color: rgb(224, 224, 240);"> <a href="http://users.rsise.anu.edu.au/~jeremy" target="content">Jeremy Dawson</a></td> |
|
55 </tr> |
|
56 |
|
57 <tr> |
|
58 <td style="background-color: rgb(224, 224, 240);"> Armin Heller</td> |
|
59 </tr> |
|
60 |
|
61 <tr> |
|
62 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~krauss" target="content">Alexander Krauss</a></td> |
|
63 </tr> |
|
64 |
|
65 <tr> |
|
66 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~nipkow" target="content">Tobias Nipkow</a></td> |
|
67 </tr> |
|
68 |
|
69 <tr> |
|
70 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.nicta.com.au/people/norrishm" target="content">Michael Norrish</a></td> |
|
71 </tr> |
|
72 |
|
73 <tr> |
|
74 <td style="background-color: rgb(224, 224, 240);"> <a href="http://cl-informatik.uibk.ac.at/~griff/" target="content">Christian Sternagel</a></td> |
|
75 </tr> |
|
76 |
|
77 <tr> |
|
78 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
|
79 Feedback</span></td> |
|
80 </tr> |
|
81 |
|
82 <tr> |
|
83 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idp/main.html#readers" target="content">What early readers said</a> </td> |
|
84 </tr> |
|
85 |
|
86 <tr> |
|
87 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
|
88 Workshops</span></td> |
|
89 </tr> |
|
90 |
|
91 <tr> |
|
92 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td> |
|
93 </tr> |
|
94 |
|
95 <tr> |
|
96 <td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td> |
|
97 </tr> |
|
98 |
|
99 </tbody> |
|
100 </table> |
|
101 |
|
102 |
|
103 <!-- script type="text/javascript"> |
|
104 var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); |
|
105 document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); |
|
106 </script> |
|
107 <script type="text/javascript"> |
|
108 var pageTracker = _gat._getTracker("UA-4143458-1"); |
|
109 pageTracker._initData(); |
|
110 pageTracker._trackPageview(); |
|
111 </script --> |
|
112 </body> |
|
113 </html> |