dummy (

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

", "", "
"),

DEFINE ("HEADER", "%2

%3

Module admin: %4

This module has the following specification:
%1
", "
", "
"),

DEFINE ("SPEC", "
  Name:           %1
  Module version: %2
  Rule version:   %3
", "", "
"),

DEFINE ("NAME"),

DEFINE ("VERSION"),

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

DEFINE ("LOCATION", " %1"),

DEFINE ("HEADLINE", "
*%1*

"),

DEFINE ("DESCRIPTION", "

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.
 
%1

"), 

DEFINE ("EMAIL"),

DEFINE ("AUTHORS", "
Author(s) of this module: 
",
"
", "
"),

DEFINE ("AUTHOR", "%1 <%2>"),

DEFINE ("IMPORTS", "
Needs following modules:

", "

", "
"),

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

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

", "
", "
"),

DEFINE ("PARAGRAPHS", "
","

"),

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

DEFINE ("PROPOSITION", "
Proposition %1"),

DEFINE ("SENTENCE", "
%1
"),

DEFINE ("PROOF", "
Proof:
",
"
", "
qed
"),

DEFINE ("AXIOM", "
Axiom
%1
"),

DEFINE ("ABBREVIATION", "
Abbreviation
%%% %1
%2 := %3
"),

DEFINE ("DEFINITION", "
Definition
%%% %1
%2 := %3
"),

DEFINE ("LINE", "  %1: %2 ;", " "),

DEFINE ("LABEL",  "(%1) "),

DEFINE ("LINK", "[%1] "),

DEFINE ("NOT", "-%1"),

DEFINE ("AND", "(", " & ", ")"),

DEFINE ("OR",  "(", " | ", ")"),

DEFINE ("IMPL", "(", " => ",   ")"),

DEFINE ("EQUI", "(", " <=> ",  ")"),

DEFINE ("FORALL", "all %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", "let %1" ),

DEFINE ("TEL", "so  %1")

)