Removed custom environment for proofs

Our environment had the QED symbol positioned on an extra line,
which does not look well. After some deliberaiton, I found nothing
wrong with amsthm's proof environment.

diff --git a/macros.tex b/macros.tex
index 6d82c71349865351db12976bf5ea57b645edfb74..a4c7bb629429ed5d7b2925a4e73f9f2b89367ab9 100644 (file)
--- a/macros.tex
+++ b/macros.tex
@@ -86,15 +86,8 @@
 \newtheorem*{pozn}{Poznámka}
 \newtheorem*{prikl}{Příklad}
 
-%%% Prostředí pro důkazy
-
-\newenvironment{dukaz}{
-  \par\medskip\noindent
-  \textit{Důkaz}.
-}{
-\newline
-\rightline{$\qedsymbol$}
-}
+% Alias pro prostředí proof s českým názvem
+\newenvironment{dukaz}{\begin{proof}}{\end{proof}}
 
 %%% Styl popisek obrázků