diff -r 5ef9f6ebe827 -r 1f16ff7fea94 prio/Paper/Paper.thy
--- a/prio/Paper/Paper.thy	Fri Feb 10 21:01:03 2012 +0000
+++ b/prio/Paper/Paper.thy	Sat Feb 11 08:16:11 2012 +0000
@@ -1,6 +1,6 @@
 (*<*)
 theory Paper
-imports CpsG ExtGG (* "~~/src/HOL/Library/LaTeXsugar" *) LaTeXsugar
+imports CpsG ExtGG "~~/src/HOL/Library/LaTeXsugar"
 begin
 ML {*
   open Printer;