| changeset 13106 | f6561b003a35 |
| parent 13099 | 4bb592cdde0e |
| child 19401 | 259e2bbba43c |
--- 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}