doc-src/TutorialI/tutorial.tex
changeset 9695 ec7d7f877712
parent 9677 7808a1ed6daa
child 9718 d5509912af18
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Aug 28 13:50:24 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Aug 28 13:52:38 2000 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  % pr(latex xsymbols symbols)
     1.5  \documentclass[11pt,a4paper]{report}
     1.6  \usepackage{isabelle,isabellesym}
     1.7 -\usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
     1.8 +\usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
     1.9  \usepackage{../pdfsetup}    %last package!
    1.10  
    1.11  \newcommand\Out[1]{\texttt{\textsl{#1}}}   %% for output from terminal sessions