--- a/src/Doc/LaTeXsugar/document/root.tex	Wed Aug 29 20:54:49 2012 +0200
+++ b/src/Doc/LaTeXsugar/document/root.tex	Wed Aug 29 21:01:05 2012 +0200
@@ -1,8 +1,6 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 
-% further packages required for unusual symbols (see also isabellesym.sty)
-% use only when needed
 \usepackage{amssymb}
 
 \usepackage{mathpartir}