CookBook/Intro.thy
changeset 182 4d0e2edd476d
parent 181 5baaabe1ab92
equal deleted inserted replaced
181:5baaabe1ab92 182:4d0e2edd476d
   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 *}