dummy (

DEFINE ("MODULE", "
%%% ====================================================================
%%% @LaTeX-file from project *Principia Mathematica II*
%%% ====================================================================

\documentclass{amsart}

\usepackage{amsmath,amsthm,amsfonts}
\usepackage[]{color}
\usepackage{xr}
\usepackage{epsfig,longtable}
\usepackage{varioref}
\usepackage[a4paper,bookmarksnumbered,colorlinks,breaklinks,plainpages,backref,bookmarksopen=true,pdfpagemode=None]{hyperref}

\usepackage{german}  %%% TODO remove
\frenchspacing       %%% TODO remove?

\oddsidemargin       8mm
\evensidemargin      9mm
\topmargin           0mm
\headsep             10mm
\marginparsep        2.5mm
\marginparwidth      25mm
\textwidth           160mm
\textheight          220mm
\parindent           0mm

\makeatletter
\def\listoffigures{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn\fi
\chapter*{List of Figures}
{\let\\ \ \markboth{Title}{List of Figures}}
\addcontentsline{toc}{chapter}{\protect
\numberline{LIST OF FIGURES\string\hss}}
\@starttoc{lof}\if@restonecol \twocolumn\fi}
\makeatother
\def\boldindex#1{\textbf{\hyperpage{#1}}}

\newtheorem{axm}{Axiom}[section]
\newtheorem{abr}{Abbreviation}[section]
\newtheorem{dfn}{Definition}[section]
\newtheorem{thm}{Theorem}[section]
\newtheorem{dec}{Rule Declaration}[section]
\newtheorem{cor}[thm]{Corollary}
\newtheorem{prop}{Proposition}
\newtheorem{lem}[thm]{Lemma}
\theoremstyle{remark}
\newtheorem*{rmk}{Remark}

\makeindex

\setlength{\LTleft}{0pt}
\setlength{\LTright}{0pt}

\sloppy

\begin{document}

", "", "
\cite{THE}
\bibliographystyle{unsrt}
\bibliography{testurl}

\end{document}
"),

DEFINE ("HEADER", "%2

%3

Module admin: %4

\section*{module specification}

\medskip
This module has the following specification:

%1

", "
", "
"),

DEFINE ("SPEC", "
\mbox{}
\begin{longtable}[h!]{l@{\extracolsep{\fill}}p{12cm}}
  Name:           & {\bf %1 } \\
  Module version: & {\bf %2 } \\
  Rule version:   & {\bf %3 } \\
", "", "
\end{longtable}"),

DEFINE ("NAME"),


DEFINE ("VERSION"),

DEFINE ("LOCATIONS", 
"  Locations:     ", "
                 "), 

DEFINE ("LOCATION", " & {\bf %1 } \\"),

DEFINE ("HEADLINE", "
\title{ %1 }

\maketitle

"),

DEFINE ("DESCRIPTION", "
\begin{abstract}
This \LaTeX file is part of the project 
{\bf Principia Mathematica II} which is an 
open source project that wants to present mathematical 
knowledge in a formal correct form.
It includes a proof verifier which checks a mathematical 
proof written in a certain formal language and converters 
to other formats (HTML, LaTeX).
See 
\url{http://www.meyling.com/principia/principia.html}
for details about this project.
 
\medskip

%1

\end{abstract}

\makeatletter
\long\def\hyper@section@backref#1#2#3{%
\typeout{BACK REF #1 / #2 / #3}%
\hyperlink{#3}{#2}}
\makeatother
\pdfbookmark{Title}{tit}
\setlongtables
\maketitle
\tableofcontents

"), 

DEFINE ("EMAIL"),

DEFINE ("AUTHORS", "
Author(s) of this module: 
\begin{longtable}[h!]{l@{\extracolsep{\fill}}l}
",
"\\
", "
\end{longtable}
"),

DEFINE ("AUTHOR", "\author{%1} & %2"),

DEFINE ("IMPORTS", "
Needs following modules:

", "

", "
"),

DEFINE ("IMPORT", "%1 %%% Label: %2"),

DEFINE ("USEDBY", "
Is used by following modules:

", "
", "
"),

DEFINE ("PARAGRAPHS", "
","

\bigskip

"),

DEFINE ("PARAGRAPH", "
%1
%2
%3
%4
"),

DEFINE ("PROPOSITION", "
\begin{thm}
%1
\end{thm}
"),

DEFINE ("SENTENCE", "
\begin{displaymath}
%1
\end{displaymath}
"),

DEFINE ("PROOF", "
\begin{proof}
\mbox{}\\
\begin{longtable}[h!]{r@{\extracolsep{\fill}}p{10cm}@{\extracolsep{\fill}}p{4cm}}
",
"
", "
\end{longtable}
\end{proof}
"),

DEFINE ("AXIOM", "
\begin{axm}
\begin{displaymath}
%1
\end{displaymath}
\end{axm}
"),

DEFINE ("ABBREVIATION", "
\begin{abr}
\begin{displaymath}
%%% %1
%2 \equiv %3
\end{displaymath}
\end{abr}
"),

DEFINE ("DEFINITION", "
\begin{dfn}
\begin{displaymath}
%%% %1
%2 \ \equiv \ %3
\end{displaymath}
\end{dfn}
"),

DEFINE ("LINE", "$%1$ & $%2$ & {\tiny ", " ", " } \\"),

DEFINE ("LABEL",  "\hypertarget{%1}{} "),

DEFINE ("LINK", "\hyperref{}{}{%1}{%1} "),

DEFINE ("NOT", "\neg %1"),

DEFINE ("AND", "(", "\ \wedge \ ", ")"),

DEFINE ("OR",  "(", "\ \vee \ ",   ")"),

DEFINE ("IMPL", "(", "\ \Rightarrow \ ",   ")"),

DEFINE ("EQUI", "(", "\ \Leftrightarrow \ ",  ")"),

DEFINE ("FORALL", "\forall_{%1} ", ", ", ""),

DEFINE ("EXISTS", "\exists_{%1} " , ", ", ""),

DEFINE ("PROP", "P_{%1}"),

DEFINE ("VAR", "x_{%1}"),

DEFINE ("PREDVAR", "R_{%1}%2"),

DEFINE ("L", "(", ", ", ")"),

DEFINE ("ADDAXIOM", "axiom %1 added"),

DEFINE ("ADDSENTENCE", "proposition %1 added"),

DEFINE ("REPLACEPROP", "replace $%2$ by $%3$ in $%1$"),

DEFINE ("REVERSEABBREVIATION", "reverse %2 in $%1$ at $%3$."),

DEFINE ("MODUSPONENS", "modus ponens of $%1$ with $%2$"),

DEFINE ("TAUT", "$%1$ ist eine Tautologie"),

DEFINE ("LREF", "aus $", "$, $", "$"),

DEFINE ("LET", "\mbox{sei: \ } %1" ),

DEFINE ("TEL", "\mbox{so: \ } %1")

)