
diff -r 242e81f4d461 -r 4532577b61e0 ProgTutorial/Base.thy
--- a/ProgTutorial/Base.thy	Wed Feb 23 23:55:37 2011 +0000
+++ b/ProgTutorial/Base.thy	Fri Mar 18 02:53:14 2011 +0100
@@ -1,5 +1,6 @@
 theory Base
-imports Main LaTeXsugar
+imports Main 
+        "~~/src/HOL/Library/LaTeXsugar"
 uses
   ("output_tutorial.ML")
   ("antiquote_setup.ML")




