--- a/Quot/QuotMain.thy	Fri Dec 25 00:17:55 2009 +0100
+++ b/Quot/QuotMain.thy	Fri Dec 25 00:58:06 2009 +0100
@@ -90,6 +90,7 @@
 
 end
 
+term Quot_Type.abs
 
 section {* ML setup *}