Nochmal wegen den Definitionen....
Jetzt hab ich das so gemacht mit ERT und im Lyx-Dokument klappts, aber die PDF-Ausgabe klappt nicht....Woran könnte das liegen? Dieser Fehler wird angezeigt:
\end{defn}
\begin{defn}
Your command was ignored.
Type I to replace it with another command,
or to continue without it.

Und das Minimalbsp:
% Quellcode vorschauen

%% LyX 1.6.7 created this file. For more info, see http://www.lyx.org/.
%% Do not edit unless you really know what you are doing.
\documentclass[11pt,ngerman]{report}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}
\pagestyle{headings}
\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{3}
\setlength{\parskip}{\medskipamount}
\setlength{\parindent}{0pt}
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{setspace}
\onehalfspacing

\makeatletter
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}

\makeatother

\usepackage{babel}

\begin{document}
\begin{defn}
Kompakte Abbildung

Eine lineare Abbildung $f:\, E\rightarrow F$ zwischen zwei topologischen
Räumen $E$ und $F$ heißt \emph{kompakt} (oder \emph{vollstetig}),
falls eine Umgebung $U=U\left(0\right)\subset E$ existiert, sodass
$f\left(U\right)$ relativ kompakt in $F$ ist.

{[}Einf. in die Theorie d. lok. konvexen Räume, Klaus Floret und Joseph
Wloka, S.90, Lecture Notes in Mathematics, springerlink{]}
\end{defn}
\end{defn}\begin{defn}
\begin{defn}
Kodimension

Die Kodimension eines Unterraumes $U$ von $X$ ist definiert als
die Dimension des Quotientenraums $X/U$, das heißt:\[
\textrm{codim}\mathit{U=\dim\left(X/U\right)}.\]

\end{defn}

\end{document}