
diff -r 0b60d8416ec5 -r 8237786171f1 Quot/QuotMain.thy
--- 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 *}
 




