\documentclass{report};
authorwenzelm
Tue May 07 14:27:07 2002 +0200 (2002-05-07)
changeset 13106f6561b003a35
parent 13105 3d1e7a199bdc
child 13107 8743cc847224
\documentclass{report};
src/HOL/HoareParallel/document/root.tex
     1.1 --- a/src/HOL/HoareParallel/document/root.tex	Tue May 07 14:26:32 2002 +0200
     1.2 +++ b/src/HOL/HoareParallel/document/root.tex	Tue May 07 14:27:07 2002 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  
     1.5  % $Id$
     1.6  
     1.7 -\documentclass[11pt,a4paper]{book}
     1.8 +\documentclass[11pt,a4paper]{report}
     1.9  \usepackage{graphicx}
    1.10  \usepackage[english]{babel}
    1.11  \usepackage{isabelle,isabellesym}