equal
deleted
inserted
replaced
9 text {* |
9 text {* |
10 The purpose of this Cookbook is to guide the reader through the first steps |
10 The purpose of this Cookbook is to guide the reader through the first steps |
11 of Isabelle programming, and to explain tricks of the trade. The code |
11 of Isabelle programming, and to explain tricks of the trade. The code |
12 provided in the Cookbook is as far as possible checked against recent |
12 provided in the Cookbook is as far as possible checked against recent |
13 versions of Isabelle. If something does not work, then please let us |
13 versions of Isabelle. If something does not work, then please let us |
14 know. If you have comments or like to add to the Cookbook, |
14 know. If you have comments, criticism or like to add to the Cookbook, |
15 feel free---you are most welcome! |
15 feel free---you are most welcome! |
16 *} |
16 *} |
17 |
17 |
18 section {* Intended Audience and Prior Knowledge *} |
18 section {* Intended Audience and Prior Knowledge *} |
19 |
19 |