doc-src/TutorialI/tutorial.tex
changeset 9644 6b0b6b471855
parent 9016 d61c76716984
child 9677 7808a1ed6daa
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Aug 17 21:07:25 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Fri Aug 18 10:34:08 2000 +0200
     1.3 @@ -1,3 +1,4 @@
     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}