--- 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
(*>*)