\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}+ −
+ −
% urls in roman style, theory text in math-similar italics+ −
\urlstyle{rm}+ −
\isabellestyle{it}+ −
+ −
% for uniform font size+ −
%\renewcommand{\isastyle}{\isastyleminor}+ −
+ −
+ −
\begin{document}+ −
+ −
\title{Paper}+ −
\author{By Kaliszyk and Urban}+ −
\maketitle+ −
+ −
% sane default for proof documents+ −
\parindent 0pt\parskip 0.5ex+ −
+ −
% generated text of all theories+ −
\input{session}+ −
+ −
% optional bibliography+ −
%\bibliographystyle{abbrv}+ −
%\bibliography{root}+ −
+ −
\end{document}+ −
+ −
%%% Local Variables:+ −
%%% mode: latex+ −
%%% TeX-master: t+ −
%%% End:+ −