/usr/share/mozart/doc/ozdoc/node3.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>3 BNF Description of the DTD</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node2.html#chapter.docstruct"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node4.html#chapter.principles">Next >></A></TD></TR></TABLE><DIV id="chapter.bnf"><H1><A name="chapter.bnf">3 BNF Description of the DTD</A></H1><P>This description is a simplified idealization of the DTD. It provides an intuitive overview of the element hierarchy. Identifiers such as e. g. <CODE>TITLE</CODE> denote elements, whereas identifiers such as e. g. <<I>TEXT or PHRASE</I>> denote non-terminal symbols in this BNF description. </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>FOO</CODE></TD><TD align="center"> ::= </TD><TD><CODE>BAR</CODE> <CODE>BAZ</CODE></TD></TR></TABLE></BLOCKQUOTE><P> means that the contents of element <CODE>FOO</CODE> must consist of a <CODE>BAR</CODE> element followed by a <CODE>BAZ</CODE> element. Whereas: </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>FOO</I>></TD><TD align="center"> ::= </TD><TD><CODE>BAR</CODE> <CODE>BAZ</CODE></TD></TR></TABLE></BLOCKQUOTE><P> means that non-terminal <<I>FOO</I>> can be rewritten to the sequence <CODE>BAR</CODE> <CODE>BAZ</CODE>.</P><P>The annotation <CODE>+</CODE><<I>INDEXING</I>> in the rule for <CODE>BOOK</CODE> indicates that the elements represented by non-terminal <<I>INDEXING</I>> are allowed to occur anywhere within the scope of element <CODE>BOOK</CODE>.</P><P></P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>BOOK</CODE></TD><TD align="center"> ::= </TD><TD><CODE>FRONT</CODE> <CODE>BODY</CODE> <CODE>BACK</CODE>? </TD><TD align="left"><I> % +<<I>INDEXING</I>></I></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>FRONT</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE> <<I>AUTHOR</I>>* <CODE>META</CODE>* <CODE>ABSTRACT</CODE>?</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>BODY</CODE></TD><TD align="center"> ::= </TD><TD><CODE>CHAPTER</CODE>* <CODE>PART</CODE>* <CODE>APPENDIX</CODE>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>CHAPTER</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE>? <<I>P</I>>* <CODE>SECTION</CODE>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>SECTION</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE>? <<I>P</I>>* <CODE>SUBSECTION</CODE>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>SUBSECTION</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE>? <<I>P</I>>* <CODE>SUBSUBSECTION</CODE>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>SUBSUBSECTION</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE>? <<I>P</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>P</I>></TD><TD align="center"> ::= </TD><TD><CODE>P</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>PARA</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>DIV</CODE></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>P</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>PARA</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE> <<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>DIV</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE>? <<I>P</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>TITLE</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>TEXT or PHRASE</I>></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>PHRASE</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>LIST</CODE></TD><TD align="center"> ::= </TD><TD><CODE>ITEM</CODE>*</TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD>(<CODE>ENTRY</CODE> <CODE>SYNOPSIS</CODE>? <CODE>ITEM</CODE>)*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>ITEM</CODE></TD><TD align="center"> ::= </TD><TD><<I>...P</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>ENTRY</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>SYNOPSIS</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>...P</I>></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>* <<I>P</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>PHRASE</I>></TD><TD align="center"> ::= </TD><TD><CODE>MATH</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>MATH.EXTERN</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>MATH.CHOICE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>PICTURE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>PICTURE.EXTERN</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>PICTURE.CHOICE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>CODE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>CODE.EXTERN</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>VAR</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>REF</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>PTR</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>REF.EXTERN</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>PTR.EXTERN</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>FILE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>KBD</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>KEY</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>SAMP</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>NAME</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>Q</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>SPAN</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>DEF</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>FIGURE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>NOTE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>GRAMMAR</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>GRAMMAR.RULE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>TABLE</CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE>CHUNK</CODE></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>MATH</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>MATH.EXTERN</CODE></TD><TD align="center"> ::= </TD><TD><<I>EMPTY</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>MATH.CHOICE</CODE></TD><TD align="center"> ::= </TD><TD>(<CODE>MATH</CODE> | <CODE>MATH.EXTERN</CODE>)+</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>PICTURE</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>PICTURE.EXTERN</CODE></TD><TD align="center"> ::= </TD><TD><<I>EMPTY</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>PICTURE.CHOICE</CODE></TD><TD align="center"> ::= </TD><TD>(<CODE>PICTURE</CODE> | <CODE>PICTURE.EXTERN</CODE>)+</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>CODE</CODE></TD><TD align="center"> ::= </TD><TD>(<<I>TEXT</I>><CODE>VAR</CODE>|<CODE>SPAN</CODE>)*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>CODE.EXTERN</CODE></TD><TD align="center"> ::= </TD><TD><<I>EMPTY</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>VAR</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>REF</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>PTR</CODE></TD><TD align="center"> ::= </TD><TD><<I>EMPTY</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>REF.EXTERN</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>PTR.EXTERN</CODE></TD><TD align="center"> ::= </TD><TD><<I>EMPTY</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>FILE</CODE></TD><TD align="center"> ::= </TD><TD>(<<I>TEXT</I>> | <CODE>VAR</CODE>)*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>KBD</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>KEY</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>SAMP</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>NAME</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>Q</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>SPAN</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>DEF</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>FIGURE</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE>? <CODE>CAPTION</CODE>? <CODE>PHRASE</CODE>* <<I>P</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>CAPTION</CODE></TD><TD align="center"> ::= </TD><TD><<I>...P</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>NOTE</CODE></TD><TD align="center"> ::= </TD><TD><<I>...P</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>INDEXING</I>></TD><TD align="center"> ::= </TD><TD><CODE>INDEX</CODE></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>INDEX</CODE></TD><TD align="center"> ::= </TD><TD><CODE>AND</CODE>+ <CODE>SEE</CODE>?</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>AND</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>SEE</CODE></TD><TD align="center"> ::= </TD><TD><CODE>AND</CODE>+</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>GRAMMAR</CODE></TD><TD align="center"> ::= </TD><TD><CODE>GRAMMAR.RULE</CODE>+</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>GRAMMAR.RULE</CODE></TD><TD align="center"> ::= </TD><TD><CODE>VAR</CODE> <CODE>GRAMMAR.ALT</CODE>+</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>GRAMMAR.ALT</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>* <CODE>GRAMMAR.NOTE</CODE>?</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>GRAMMAR.NOTE</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>TABLE</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE>? <CODE>TR</CODE>+</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>TR</CODE></TD><TD align="center"> ::= </TD><TD>(<CODE>TD</CODE> | <CODE>TH</CODE>)+</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>TD</CODE></TD><TD align="center"> ::= </TD><TD><<I>...P</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>TR</CODE></TD><TD align="center"> ::= </TD><TD><<I>...P</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>BACK</CODE></TD><TD align="center"> ::= </TD><TD>(<CODE>META</CODE> | <CODE>BIB.EXTERN</CODE>)*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>BIB.EXTERN</CODE></TD><TD align="center"> ::= </TD><TD><<I>EMPTY</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>AUTHOR</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>AUTHOR.EXTERN</CODE></TD><TD align="center"> ::= </TD><TD><<I>EMPTY</I>></TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>CHUNK</CODE></TD><TD align="center"> ::= </TD><TD><CODE>TITLE</CODE> (<<I>TEXT</I>> | <CODE>CHUNK.REF</CODE>)*</TD></TR></TABLE></BLOCKQUOTE><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><CODE>CHUNK.REF</CODE></TD><TD align="center"> ::= </TD><TD><<I>TEXT or PHRASE</I>>*</TD></TR></TABLE></BLOCKQUOTE><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node2.html#chapter.docstruct"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node4.html#chapter.principles">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|