<?xml version="1.0" encoding="UTF-8"?><!--Sample XML file generated by XMLSPY v2004 rel. 4 U (http://www.xmlspy.com)--><MODULE xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="D:\mime\qedeq\qedeq\web\page\0_01_05\qedeq2.xsd">	<HEADER>		<SPEC>			<NAME>String</NAME>			<VERSION>String</VERSION>			<VERSION>String</VERSION>			<LOCATIONS>				<LOCATION>String</LOCATION>				<LOCATION>String</LOCATION>			</LOCATIONS>		</SPEC>		<TITLE>			<LATEX>				<LANG>DE</LANG>				<text>Mengenlehre 1</text>			</LATEX>			<LATEX>				<LANG>US</LANG>				<text>Set Theory 1</text>			</LATEX>		</TITLE>		<ABSTRACT>			<LATEX>				<LANG>DE</LANG>				<text>Die Mengenlehre ist lustig</text>			</LATEX>			<LATEX>				<LANG>US</LANG>				<text>Axiomatic set theory is funny </text>			</LATEX>		</ABSTRACT>		<EMAIL>String</EMAIL>		<AUTHORS>			<AUTHOR>				<LATEX>					<LANG>DE</LANG>					<text>Michael Meyling</text>				</LATEX>				<EMAIL>String</EMAIL>			</AUTHOR>		</AUTHORS>	</HEADER>	<IMPORTS>		<IMPORT>			<SPEC>				<NAME>String</NAME>				<VERSION>String</VERSION>				<VERSION>String</VERSION>				<LOCATIONS>					<LOCATION>String</LOCATION>					<LOCATION>String</LOCATION>					<LOCATION>String</LOCATION>					<LOCATION>String</LOCATION>					<LOCATION>String</LOCATION>				</LOCATIONS>			</SPEC>			<LABEL>String</LABEL>		</IMPORT>	</IMPORTS>	<PARAGRAPHS>		<PARAGRAPH>			<LABEL>defino</LABEL>			<number>1</number>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>			<ABBREVIATION>				<PREDCON>				<number>2</number>				<T>				<VAR>1</VAR>				</T>				</PREDCON>				<NOT>					<PREDCON>						<number>1</number>						<T>							<VAR>1</VAR>						</T>					</PREDCON>				</NOT>			</ABBREVIATION>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>		</PARAGRAPH>		<PARAGRAPH>			<LABEL>String</LABEL>			<number>String</number>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>			<AXIOM>				<PROP></PROP>			</AXIOM>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>		</PARAGRAPH>		<PARAGRAPH>			<LABEL>String</LABEL>			<number>String</number>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>			<DECLARERULE>				<text></text>				<LATEXDET>					<text></text>				</LATEXDET>			</DECLARERULE>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>		</PARAGRAPH>		<PARAGRAPH>			<LABEL>String</LABEL>			<number>String</number>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>			<PROPOSITION>				<SENTENCE>					<PROP></PROP>				</SENTENCE>				<PROOF>					<LINE>						<number></number>						<PROP></PROP>					</LINE>				</PROOF>			</PROPOSITION>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>		</PARAGRAPH>		<PARAGRAPH>			<LABEL>String</LABEL>			<number>String</number>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>			<ABBREVIATION>				<PROP>String</PROP>				<PROP>String</PROP>			</ABBREVIATION>			<LATEXDET>				<number>String</number>				<text>String</text>				<text>String</text>			</LATEXDET>		</PARAGRAPH>	</PARAGRAPHS></MODULE>