# HG changeset patch
# User paulson
# Date 976039017 -3600
# Node ID 29dd6ac8c223619a82624ec9a89562a79d106481
# Parent  77951eaeb5b0b8b3d3ffa1674a27b23de2a2d870
new package amsfonts

diff -r 77951eaeb5b0 -r 29dd6ac8c223 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Tue Dec 05 18:56:18 2000 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Tue Dec 05 18:56:57 2000 +0100
@@ -2,8 +2,8 @@
 \newif\ifremarks
 \remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
 \usepackage{cl2emono-modified,isabelle,isabellesym}
+\usepackage{../proof,amsmath,amsfonts}
 \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
-\usepackage{../proof,amsmath}
 \usepackage{../pdfsetup}    %last package!
 
 %\newtheorem{theorem}{Theorem}[section]