
diff -r 09e6f3719cbc -r 5d724fe0e096 Slides/Slides.thy
--- a/Slides/Slides.thy	Fri Aug 19 20:39:07 2011 +0000
+++ b/Slides/Slides.thy	Mon Aug 22 12:49:27 2011 +0000
@@ -1,6 +1,6 @@
 (*<*)
 theory Slides
-imports "LaTeXsugar"
+imports "~~/src/HOL/Library/LaTeXsugar"
 begin
 
 notation (latex output)




