diff -r d6acae26d027 -r b4ffb8826105 Quot/Examples/FSet.thy
--- a/Quot/Examples/FSet.thy	Tue Dec 22 20:51:37 2009 +0100
+++ b/Quot/Examples/FSet.thy	Tue Dec 22 21:06:46 2009 +0100
@@ -39,7 +39,7 @@
 
 
 ML {*
-open Quotient_Def;
+open Quotient_Term;
 *}
 
 ML {*