25 \isadroptag{theory}

    25 \isadroptag{theory}

    26 

    26 

    27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    28 % indexing

    28 % indexing

    29 \makeindex

    29 \makeindex

    31 

    30 

    32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    33 % For cross references to the other manuals:

    32 % For cross references to the other manuals:

    34 \usepackage{xr}

    33 \usepackage{xr}

    35 \externaldocument[I-]{implementation}

    34 \externaldocument[I-]{implementation}