diff -r 551c5a8b6b2c -r 26d594a9b89f Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Thu Oct 28 14:03:46 2010 +0900
+++ b/Quotient-Paper/Paper.thy	Thu Oct 28 14:12:30 2010 +0900
@@ -2,7 +2,7 @@
 theory Paper
 imports "Quotient" "Quotient_Syntax"
         "LaTeXsugar"
-        "../Nominal/FSet"
+        "$ISABELLE_HOME/src/HOL/Quotient_Examples/FSet"
 begin
 
 (****