no \FIXME macro for ProgProve (moved to book)

--- a/src/Doc/ProgProve/document/prelude.tex	Tue Mar 26 12:21:01 2013 +0100
+++ b/src/Doc/ProgProve/document/prelude.tex	Tue Mar 26 13:54:24 2013 +0100
@@ -13,15 +13,6 @@
 \usepackage{mathpartir}
 \usepackage{amssymb}
 
-% Enables fixmes
-\newif \ifDraft         \Drafttrue
-
-\ifDraft
-  \newcommand{\FIXME}[1]{\textbf{\textsl{FIXME: #1}}}
-\else
-  \newcommand{\FIXME}[1]{\relax}
-\fi
-
 \renewcommand*\descriptionlabel[1]{\hspace\labelsep \textbf{#1}\hfil}
 
 % this should be the last package used