214 \documentclass[11pt,a4paper]{article} |
214 \documentclass[11pt,a4paper]{article} |
215 \usepackage{isabelle,isabellesym} |
215 \usepackage{isabelle,isabellesym} |
216 |
216 |
217 % further packages required for unusual symbols (see also isabellesym.sty) |
217 % further packages required for unusual symbols (see also isabellesym.sty) |
218 % use only when needed |
218 % use only when needed |
219 %\usepackage{amsmath} % for \<leadsto>, \<box>, \<diamond>, |
219 %\usepackage{amssymb} % for \<leadsto>, \<box>, \<diamond>, |
220 % \<sqsupset>, \<mho>, \<Join>, |
220 % \<sqsupset>, \<mho>, \<Join>, |
221 % \<lhd>, .. |
221 % \<lhd>, \<lesssim>, \<greatersim>, |
222 %\usepackage{amssymb} % for \<lesssim>, \<greatersim>, |
|
223 % \<lessapprox>, \<greaterapprox>, |
222 % \<lessapprox>, \<greaterapprox>, |
224 % \<triangleq>, \<yen>, \<lozenge> |
223 % \<triangleq>, \<yen>, \<lozenge> |
225 %\usepackage[english]{babel} % for \<guillemotleft>, |
224 %\usepackage[greek,english]{babel} % greek for \<euro>, |
226 % \<guillemotright> |
225 % english for \<guillemotleft>, |
|
226 % \<guillemotright> |
|
227 % default language = last |
227 %\usepackage[latin1]{inputenc} % for \<onesuperior>, \<onequarter>, |
228 %\usepackage[latin1]{inputenc} % for \<onesuperior>, \<onequarter>, |
228 % \<twosuperior>, \<onehalf>, |
229 % \<twosuperior>, \<onehalf>, |
229 % \<threesuperior>, \<threequarters>, |
230 % \<threesuperior>, \<threequarters>, |
230 % \<degree> |
231 % \<degree> |
231 %\usepackage[only,bigsqcap]{stmaryrd} % for \<Sqinter> |
232 %\usepackage[only,bigsqcap]{stmaryrd} % for \<Sqinter> |
232 %\usepackage{wasysym} |
|
233 %\usepackage{eufrak} % for \<AA> ... \<ZZ>, \<aa> ... \<zz> |
233 %\usepackage{eufrak} % for \<AA> ... \<ZZ>, \<aa> ... \<zz> |
234 %\usepackage{textcomp} % \<cent>, \<currency> |
234 % (only needed if amssymb not used) |
235 %\usepackage{eurosans} % for \<euro> |
235 %\usepackage{textcomp} % for \<cent>, \<currency> |
236 |
236 |
237 % this should be the last package used |
237 % this should be the last package used |
238 \usepackage{pdfsetup} |
238 \usepackage{pdfsetup} |
239 |
239 |
240 % urls in roman style, theory text in math-similar italics |
240 % urls in roman style, theory text in math-similar italics |