doc-src/IsarAdvanced/Codegen/codegen.tex
changeset 28560 625e44455f52
parent 28447 df77ed974a78
child 28564 1358b1ddd915
equal deleted inserted replaced
28559:55c003a5600a 28560:625e44455f52
     6 \usepackage{listings}
     6 \usepackage{listings}
     7 \usepackage[refpage]{nomencl}
     7 \usepackage[refpage]{nomencl}
     8 \usepackage{../../iman,../../extra,../../isar,../../proof}
     8 \usepackage{../../iman,../../extra,../../isar,../../proof}
     9 \usepackage{../../isabelle,../../isabellesym}
     9 \usepackage{../../isabelle,../../isabellesym}
    10 \usepackage{style}
    10 \usepackage{style}
       
    11 \usepackage{tikz}
    11 \usepackage{../../pdfsetup}
    12 \usepackage{../../pdfsetup}
    12 
    13 
    13 \newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}}
    14 \newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}}
    14 
    15 
    15 \makeatletter
    16 \makeatletter