equal
deleted
inserted
replaced
5 |
5 |
6 |
6 |
7 chapter {* Introduction *} |
7 chapter {* Introduction *} |
8 |
8 |
9 text {* |
9 text {* |
10 The purpose of this Cookbook is to guide the reader through the |
10 The purpose of this Cookbook is to guide the reader through the first steps |
11 first steps of Isabelle programming, and to provide recipes for |
11 of Isabelle programming, and to explain some tricks of the trade. The code |
12 solving common problems. The code provided in the Cookbook is |
12 provided in the Cookbook is as far as possible checked against recent |
13 as far as possible checked against recent versions of Isabelle. |
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, you are very |
|
15 welcome. |
|
16 |
14 *} |
17 *} |
15 |
18 |
16 section {* Intended Audience and Prior Knowledge *} |
19 section {* Intended Audience and Prior Knowledge *} |
17 |
20 |
18 text {* |
21 text {* |