--- a/Quotient-Paper/document/root.tex	Sun Jun 13 17:41:07 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Sun Jun 13 20:54:50 2010 +0200
@@ -27,6 +27,7 @@
 \newcommand{\isasymsinglearr}{\singlearr}
 \newcommand{\isasymdoublearr}{\doublearr}
 
+\newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}}
 \begin{document}
 
 \title{Quotients Revisited for Isabelle/HOL}