# HG changeset patch
# User wenzelm
# Date 1020774427 -7200
# Node ID f6561b003a35d8885c6dfabdc0bf04aa54f37469
# Parent  3d1e7a199bdc7f630b6456a9b5084562eabebee9
\documentclass{report};

diff -r 3d1e7a199bdc -r f6561b003a35 src/HOL/HoareParallel/document/root.tex
--- a/src/HOL/HoareParallel/document/root.tex	Tue May 07 14:26:32 2002 +0200
+++ b/src/HOL/HoareParallel/document/root.tex	Tue May 07 14:27:07 2002 +0200
@@ -1,7 +1,7 @@
 
 % $Id$
 
-\documentclass[11pt,a4paper]{book}
+\documentclass[11pt,a4paper]{report}
 \usepackage{graphicx}
 \usepackage[english]{babel}
 \usepackage{isabelle,isabellesym}