diff -r 1dbc4f33549c -r 5b0bdd64956e Paper/document/root.tex
--- a/Paper/document/root.tex	Mon Mar 22 16:22:28 2010 +0100
+++ b/Paper/document/root.tex	Mon Mar 22 18:19:13 2010 +0100
@@ -3,6 +3,7 @@
 \usepackage{isabellesym}
 \usepackage{amsmath}
 \usepackage{amssymb}
+\usepackage{amsthm}
 \usepackage{tikz}
 \usepackage{pgf}
 \usepackage{pdfsetup}
@@ -27,10 +28,12 @@
 
 
 %----------------- theorem definitions ----------
-\newtheorem{property}{Property}[section]
-\newtheorem{Theorem}{Theorem}[section]
-\newtheorem{Definition}[Theorem]{Definition}
-\newtheorem{Example}{\it Example}[section]
+\theoremstyle{plain}
+\newtheorem{thm}{Theorem}[section]
+\newtheorem{property}[thm]{Property}
+\newtheorem{lemma}[thm]{Lemma}
+\newtheorem{defn}[thm]{Definition}
+\newtheorem{exmple}[thm]{Example}
 
 %-------------------- environment definitions -----------------
 \newenvironment{example}[0]{\begin{Example} \it}{\end{Example}}