Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/tutorial.tex
changeset 10524 270b285d48ee
parent 10522 ed3964d1f1a4
child 10543 8e4307d1207a 
--- a/doc-src/TutorialI/tutorial.tex	Mon Nov 27 11:06:28 2000 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Mon Nov 27 16:40:56 2000 +0100
@@ -3,7 +3,7 @@
 \remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
 \usepackage{cl2emono-modified,isabelle,isabellesym}
 \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
-\usepackage{proof,amsmath}
+\usepackage{../proof,amsmath}
 \usepackage{../pdfsetup}    %last package!
 
 %\newtheorem{theorem}{Theorem}[section]
isabelle