--- a/doc-src/LaTeXsugar/Sugar/document/root.tex Fri Nov 26 23:41:23 2010 +0100
+++ b/doc-src/LaTeXsugar/Sugar/document/root.tex Fri Nov 26 23:51:34 2010 +0100
@@ -3,23 +3,7 @@
% further packages required for unusual symbols (see also isabellesym.sty)
% use only when needed
-\usepackage{amssymb} % for \<leadsto>, \<box>, \<diamond>,
- % \<sqsupset>, \<mho>, \<Join>,
- % \<lhd>, \<lesssim>, \<greatersim>,
- % \<lessapprox>, \<greaterapprox>,
- % \<triangleq>, \<yen>, \<lozenge>
-%\usepackage[greek,english]{babel} % greek for \<euro>,
- % english for \<guillemotleft>,
- % \<guillemotright>
- % default language = last
-%\usepackage[latin1]{inputenc} % for \<onesuperior>, \<onequarter>,
- % \<twosuperior>, \<onehalf>,
- % \<threesuperior>, \<threequarters>,
- % \<degree>
-%\usepackage[only,bigsqcap]{stmaryrd} % for \<Sqinter>
-%\usepackage{eufrak} % for \<AA> ... \<ZZ>, \<aa> ... \<zz>
- % (only needed if amssymb not used)
-%\usepackage{textcomp} % for \<cent>, \<currency>
+\usepackage{amssymb}
\usepackage{mathpartir}