# HG changeset patch
# User krauss
# Date 1192781121 -7200
# Node ID 1d7616d740958b5ede0bd560d114b31a5b81d350
# Parent  a2ae7f71613dfff279a14eed137f7a4157035c86
removed funny formatting

diff -r a2ae7f71613d -r 1d7616d74095 doc-src/IsarAdvanced/Functions/functions.tex
--- a/doc-src/IsarAdvanced/Functions/functions.tex	Fri Oct 19 09:59:46 2007 +0200
+++ b/doc-src/IsarAdvanced/Functions/functions.tex	Fri Oct 19 10:05:21 2007 +0200
@@ -1,21 +1,16 @@
 
 %% $Id$
 
-\documentclass[11pt,a4paper,fleqn]{article}
-\textwidth  15.93cm
-\textheight 24cm
-\oddsidemargin  0.0cm
-\evensidemargin 0.0cm
-\topmargin  0.0cm
+\documentclass[a4paper,fleqn]{article}
 
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{../../iman,../../extra,../../isar,../../proof}
 \usepackage{Thy/document/isabelle,Thy/document/isabellesym}
 \usepackage{style}
-\usepackage{Thy/document/pdfsetup}
 \usepackage{mathpartir}
 \usepackage{amsthm}
+\usepackage{Thy/document/pdfsetup}
 
 \newcommand{\cmd}[1]{\isacommand{#1}}