new package amsfonts
authorpaulson
Tue Dec 05 18:56:57 2000 +0100 (2000-12-05)
changeset 1059729dd6ac8c223
parent 10596 77951eaeb5b0
child 10598 f92037156f4d
new package amsfonts
doc-src/TutorialI/tutorial.tex
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Tue Dec 05 18:56:18 2000 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Tue Dec 05 18:56:57 2000 +0100
     1.3 @@ -2,8 +2,8 @@
     1.4  \newif\ifremarks
     1.5  \remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
     1.6  \usepackage{cl2emono-modified,isabelle,isabellesym}
     1.7 +\usepackage{../proof,amsmath,amsfonts}
     1.8  \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
     1.9 -\usepackage{../proof,amsmath}
    1.10  \usepackage{../pdfsetup}    %last package!
    1.11  
    1.12  %\newtheorem{theorem}{Theorem}[section]