# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1274887156 -7200
# Node ID 87024a9a9d8938055a4f0c3724b89cf2a19d7549
# Parent  8fdfbec542292a2031b2b2dc0deeb4ae54f51101
fixed compile error

diff -r 8fdfbec54229 -r 87024a9a9d89 Quotient-Paper/Paper.thy
--- 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 *}