# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1259839985 -3600
# Node ID f122816d7729be437b101a94283a33ae98b447f5
# Parent  e7bb6bbe7576b34431bc0af95add5f1d87c121d4
Fixed previous mistake

diff -r e7bb6bbe7576 -r f122816d7729 QuotMain.thy
--- a/QuotMain.thy	Thu Dec 03 12:31:05 2009 +0100
+++ b/QuotMain.thy	Thu Dec 03 12:33:05 2009 +0100
@@ -1235,8 +1235,5 @@
     end) lthy
 *}
 
-print_quotients
-
-
 end