diff -r 1cf20169660c -r 762a739c9eb4 Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Wed May 26 15:26:22 2010 +0200
+++ b/Quotient-Paper/Paper.thy	Wed May 26 15:35:34 2010 +0200
@@ -2,6 +2,7 @@
 theory Paper
 imports "Quotient"
         "LaTeXsugar"
+        "../Nominal/FSet"
 begin
 
 notation (latex output)