--- 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}
--- a/doc-src/Main/main.tex Fri Nov 26 23:41:23 2010 +0100
+++ b/doc-src/Main/main.tex Fri Nov 26 23:51:34 2010 +0100
@@ -9,31 +9,8 @@
\textheight=234mm
\usepackage{../isabelle,../isabellesym}
-
-% 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}
- %option greek for \<euro>
- %option english (default language) for \<guillemotleft>, \<guillemotright>
-
-%\usepackage[latin1]{inputenc}
- %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
- %\<threesuperior>, \<threequarters>, \<degree>
-
\usepackage[only,bigsqcap]{stmaryrd}
- %for \<Sqinter>
-
-%\usepackage{eufrak}
- %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
-
-%\usepackage{textcomp}
- %for \<cent>, \<currency>
% this should be the last package used
\usepackage{../pdfsetup}
--- a/src/HOL/Statespace/document/root.tex Fri Nov 26 23:41:23 2010 +0100
+++ b/src/HOL/Statespace/document/root.tex Fri Nov 26 23:51:34 2010 +0100
@@ -1,31 +1,5 @@
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
-
-% 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}
- %option greek for \<euro>
- %option english (default language) for \<guillemotleft>, \<guillemotright>
-
-%\usepackage[latin1]{inputenc}
- %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
- %\<threesuperior>, \<threequarters>, \<degree>
-
-%\usepackage[only,bigsqcap]{stmaryrd}
- %for \<Sqinter>
-
-%\usepackage{eufrak}
- %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
-
-%\usepackage{textcomp}
- %for \<cent>, \<currency>
-
% this should be the last package used
\usepackage{pdfsetup}