equal
deleted
inserted
replaced
107 |
107 |
108 \begin{readmore} |
108 \begin{readmore} |
109 Further information or pointers to files. |
109 Further information or pointers to files. |
110 \end{readmore} |
110 \end{readmore} |
111 |
111 |
|
112 The pointers to Isabelle files are hyperlinked to the tip of the Mercurial |
|
113 repository of Isabelle at \href{http://isabelle.in.tum.de/repos/isabelle/} |
|
114 {http://isabelle.in.tum.de/repos/isabelle/}. |
|
115 |
112 A few exercises are scattered around the text. Their solutions are given |
116 A few exercises are scattered around the text. Their solutions are given |
113 in Appendix~\ref{ch:solutions}. Of course, you learn most, if you first try |
117 in Appendix~\ref{ch:solutions}. Of course, you learn most, if you first try |
114 to solve the exercises on your own, and then look at the solutions. |
118 to solve the exercises on your own, and then look at the solutions. |
115 |
119 |
116 *} |
120 *} |