changeset 9644 | 6b0b6b471855 |
parent 9016 | d61c76716984 |
child 9677 | 7808a1ed6daa |
--- a/doc-src/TutorialI/tutorial.tex Thu Aug 17 21:07:25 2000 +0200 +++ b/doc-src/TutorialI/tutorial.tex Fri Aug 18 10:34:08 2000 +0200 @@ -1,3 +1,4 @@ +% pr(latex xsymbols symbols) \documentclass[11pt,a4paper]{report} \usepackage{isabelle,isabellesym} \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}