author | nipkow |
Fri, 02 Jun 2000 15:19:18 +0200 | |
changeset 9016 | d61c76716984 |
parent 9015 | 8006e9009621 |
child 9017 | ff259b415c4d |
1.1 --- a/doc-src/TutorialI/tutorial.tex Fri Jun 02 12:44:04 2000 +0200 1.2 +++ b/doc-src/TutorialI/tutorial.tex Fri Jun 02 15:19:18 2000 +0200 1.3 @@ -1,4 +1,3 @@ 1.4 - 1.5 \documentclass[11pt,a4paper]{report} 1.6 \usepackage{isabelle,isabellesym} 1.7 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}