--- a/Paper/Paper.thy	Tue Mar 08 09:07:49 2011 +0000
+++ b/Paper/Paper.thy	Fri Mar 11 08:51:39 2011 +0000
@@ -2185,7 +2185,7 @@
 *}
 
 
-section {* Related Work *}
+section {* Related Work\label{related} *}
 
 text {*
   To our knowledge the earliest usage of general binders in a theorem prover