src/HOL/Isar_examples/document/style.tex
changeset 7869 c007f801cd59
parent 7833 f5288e4b95d1
child 7874 180364256231
--- a/src/HOL/Isar_examples/document/style.tex	Thu Oct 14 15:14:14 1999 +0200
+++ b/src/HOL/Isar_examples/document/style.tex	Thu Oct 14 16:02:39 1999 +0200
@@ -5,7 +5,6 @@
 \usepackage{comment,proof,isabelle,pdfsetup}
 
 \renewcommand{\isamarkupheader}[1]{\section{#1}}
-\parindent 0pt \parskip 0.5ex
 
 \newcommand{\name}[1]{\textsl{#1}}
 
@@ -24,7 +23,6 @@
 \newcommand{\conj}{\land}
 \newcommand{\disj}{\lor}
 
-
 %%% Local Variables: 
 %%% mode: latex
 %%% TeX-master: "root"