--- 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}}