
diff -r 6aa98a113e6c -r a5da7b6aff8f Quotient-Paper/Paper.thy
--- a/Quotient-Paper/Paper.thy	Wed Mar 16 21:07:50 2011 +0100
+++ b/Quotient-Paper/Paper.thy	Wed Mar 16 21:14:43 2011 +0100
@@ -1,8 +1,8 @@
 (*<*)
 theory Paper
 imports "Quotient" "Quotient_Syntax"
-        "LaTeXsugar"
-        "$ISABELLE_HOME/src/HOL/Quotient_Examples/FSet"
+        "~~/src/HOL/Library/LaTeXsugar"
+        "~~/src/HOL/Quotient_Examples/FSet"
 begin
 
 (****




