# HG changeset patch
# User urbanc
# Date 1328948171 0
# Node ID 1f16ff7fea94d6bb4dade576a389e8704fc09e7f
# Parent  5ef9f6ebe827a70c7a3aaac10932b25b751a7164
fixed problem with Latexsugar

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;
diff -r 5ef9f6ebe827 -r 1f16ff7fea94 prio/paper.pdf
Binary file prio/paper.pdf has changed