equal
deleted
inserted
replaced
54 \end{description} |
54 \end{description} |
55 |
55 |
56 Then of course there is: |
56 Then of course there is: |
57 |
57 |
58 \begin{description} |
58 \begin{description} |
59 \item[The code.] Which is the ultimate reference for how |
59 \item[The code.] It is the ultimate reference for how |
60 things really work. Therefore you should not hesitate to look at the |
60 things really work. Therefore you should not hesitate to look at the |
61 way things are actually implemented. More importantly, it is often |
61 way things are actually implemented. More importantly, it is often |
62 good to look at code that does similar things as you want to do and |
62 good to look at code that does similar things as you want to do and |
63 learn from it. The UNIX command @{text "grep -R"} is |
63 learn from it. The UNIX command @{text "grep -R"} is |
64 often your best friend while programming with Isabelle. |
64 often your best friend while programming with Isabelle. |
143 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
143 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
144 |
144 |
145 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
145 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
146 chapter and also contributed the material on @{text NamedThmsFun}. |
146 chapter and also contributed the material on @{text NamedThmsFun}. |
147 |
147 |
148 \item {\bf Christian Sternagel} proof read the tutorial and made |
148 \item {\bf Christian Sternagel} proofread the tutorial and made |
149 comments. |
149 comments on the text. |
150 \end{itemize} |
150 \end{itemize} |
151 |
151 |
152 Please let me know of any omissions. Responsibility for any remaining |
152 Please let me know of any omissions. Responsibility for any remaining |
153 errors lies with me.\bigskip |
153 errors lies with me.\bigskip |
154 |
154 |