diff -r 6aa98a113e6c -r a5da7b6aff8f Paper/Paper.thy
--- a/Paper/Paper.thy	Wed Mar 16 21:07:50 2011 +0100
+++ b/Paper/Paper.thy	Wed Mar 16 21:14:43 2011 +0100
@@ -1,6 +1,7 @@
 (*<*)
 theory Paper
-imports "../Nominal/Nominal2" "LaTeXsugar"
+imports "../Nominal/Nominal2" 
+        "~~/src/HOL/Library/LaTeXsugar"
 begin
 
 consts