--- a/Quotient-Paper/Paper.thy	Wed May 26 17:10:05 2010 +0200
+++ b/Quotient-Paper/Paper.thy	Wed May 26 17:19:16 2010 +0200
@@ -298,6 +298,8 @@
   about concat:
 
   @{thm [display] quotient_compose_list[no_vars]}
+*}
+
 
 section {* Lifting Theorems *}