CookBook/Intro.thy
changeset 177 4e2341f6599d
parent 167 3e30ea95c7aa
child 180 9c25418db6f0
equal deleted inserted replaced
176:3da5f3f07d8b 177:4e2341f6599d
   106 
   106 
   107   \begin{readmore}
   107   \begin{readmore}
   108   Further information or pointers to files.
   108   Further information or pointers to files.
   109   \end{readmore}
   109   \end{readmore}
   110 
   110 
   111   A few exercises a scattered around the text. Their solutions are given 
   111   A few exercises are scattered around the text. Their solutions are given 
   112   in Appendix~\ref{ch:solutions}. Of course, you learn most, if you first try
   112   in Appendix~\ref{ch:solutions}. Of course, you learn most, if you first try
   113   to solve the exercises on your own, and then look at the solutions.
   113   to solve the exercises on your own, and then look at the solutions.
   114 
   114 
   115 *}
   115 *}
   116 
   116