# HG changeset patch
# User haftmann
# Date 1263369767 -3600
# Node ID ca41b3d256b575535949fd2c67e3c20c3eff2540
# Parent  dcaf6ec84e2886ef9e720f1b97623641e65221e5
import of antiquote_setup not necessary

diff -r dcaf6ec84e28 -r ca41b3d256b5 doc-src/LaTeXsugar/Sugar/Sugar.thy
--- 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
 (*>*)