equal
deleted
inserted
replaced
11 <table width="95%"> |
11 <table width="95%"> |
12 <tbody> |
12 <tbody> |
13 <tr> |
13 <tr> |
14 <td align="left"> |
14 <td align="left"> |
15 <H1>Aim</H1> |
15 <H1>Aim</H1> |
|
16 |
16 |
17 |
17 There is already quite good documentation available for users to learn |
18 There is already quite good documentation available for users to learn |
18 how to interact with Isabelle and to use it for proving |
19 how to interact with Isabelle and to use it for proving |
19 theorems (see <A HREF="http://www.cl.cam.ac.uk/research/hvg/Isabelle/documentation.html" target="_top">here</A>). |
20 theorems (see <A HREF="http://www.cl.cam.ac.uk/research/hvg/Isabelle/documentation.html" target="_top">here</A>). |
20 However, the entry barrier for users to program on the ML-level of Isabelle |
21 However, the entry barrier for users to program on the ML-level of Isabelle |
172 toying with actually getting back to Isabelle again. Thanks to |
173 toying with actually getting back to Isabelle again. Thanks to |
173 everyone involved in the documentation project. I really think it |
174 everyone involved in the documentation project. I really think it |
174 is worthwhile. (Tom Ridge, University of Cambridge, 2009)</i> |
175 is worthwhile. (Tom Ridge, University of Cambridge, 2009)</i> |
175 |
176 |
176 <p> |
177 <p> |
177 <i>I learned from the tutorial how to deal with fresh variables and also which function to use |
178 <i>I learned from the tutorial how to deal with fresh variables and also which function to use for applying substitutions that are generated by unification. |
178 for applying substitutions that are generated by unification. |
|
179 (Lukas Bulwahn, TU Munich, 2009)</i> |
179 (Lukas Bulwahn, TU Munich, 2009)</i> |
|
180 |
180 |
181 |
181 <p> |
182 <p> |
182 <i> What a great resource! I wish I'd had this when I wrote my first |
183 <i> What a great resource! I wish I'd had this when I wrote my first |
183 parser in December 2008. (Timothy Bourke, UNSW Sydney, 2009)</i> |
184 parser in December 2008. (Timothy Bourke, UNSW Sydney, 2009)</i> |
184 |
185 |
185 </td> |
186 </td> |
186 </tr> |
187 </tr> |
187 </tbody> |
188 </tbody> |
188 </table> |
189 </table> |
189 </div> |
190 </div> |
|
191 |
|
192 <P> |
|
193 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
190 |
194 |
191 <P> |
195 Time-stamp: <Last changed 2017-09-14 12:47:06 by Christian Urban, cu> |
192 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
196 |
193 <!-- hhmts start --> Last modified: Thu May 5 09:42:26 BST 2016 <!-- hhmts end --> |
|
194 |
|
195 </body> |
197 </body> |
196 </html> |
198 </html> |
|
199 |