--- a/doc-src/LaTeXsugar/Sugar/Sugar.thy Wed Jan 13 08:56:25 2010 +0100 +++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy Wed Jan 13 09:02:47 2010 +0100 @@ -1,7 +1,6 @@ (*<*) theory Sugar imports LaTeXsugar OptionalSugar -uses "~~/doc-src/antiquote_setup" begin (*>*)