equal
deleted
inserted
replaced
13 get to know the ML-level of Isabelle is by experimenting with the many code |
13 get to know the ML-level of Isabelle is by experimenting with the many code |
14 examples included in the tutorial. The code is as far as possible checked |
14 examples included in the tutorial. The code is as far as possible checked |
15 against recent versions of Isabelle. If something does not work, then |
15 against recent versions of Isabelle. If something does not work, then |
16 please let us know. If you have comments, criticism or like to add to the |
16 please let us know. If you have comments, criticism or like to add to the |
17 tutorial, feel free---you are most welcome! The tutorial is meant to be |
17 tutorial, feel free---you are most welcome! The tutorial is meant to be |
18 gentle and comprehensive. To achieve this we need your feedback. |
18 gentle and comprehensive. To achieve this we need your feedback. |
19 *} |
19 *} |
20 |
20 |
21 section {* Intended Audience and Prior Knowledge *} |
21 section {* Intended Audience and Prior Knowledge *} |
22 |
22 |
23 text {* |
23 text {* |