equal
deleted
inserted
replaced
54 browsing on the WWW at |
54 browsing on the WWW at |
55 |
55 |
56 \begin{center}\small |
56 \begin{center}\small |
57 \begin{tabular}{l} |
57 \begin{tabular}{l} |
58 \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\ |
58 \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\ |
59 \url{http://isabelle.in.tum.de/library/} \\ |
59 \url{https://isabelle.in.tum.de/library/} \\ |
60 \end{tabular} |
60 \end{tabular} |
61 \end{center} |
61 \end{center} |
62 |
62 |
63 Note that this is not necessarily consistent with your local sources! |
63 Note that this is not necessarily consistent with your local sources! |
64 |
64 |