2 \usepackage{amsmath,amsthm}

     2 \usepackage{amsmath,amsthm}

     3 \usepackage{isabelle}

     3 \usepackage{isabelle}

     4 \usepackage{isabellesym}

     4 \usepackage{isabellesym}

     5 \usepackage{charter}

     5 \usepackage{charter}

     6 \usepackage[pdftex]{graphicx}

     6 \usepackage[pdftex]{graphicx}

     7 

     8 

     8 % Cross references to other manuals:

     9 % Cross references to other manuals:

     9 \usepackage{xr}

    10 \usepackage{xr}

    10 \externaldocument[I-]{implementation}

    11 \externaldocument[I-]{implementation}

    11 \newcommand{\impref}[1]{\ref{I-#1}}

    12 \newcommand{\impref}[1]{\ref{I-#1}}