
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
 




