\documentclass [11 pt,a4paper]{article }% further packages required for unusual symbols (see also % isabellesym.sty), use only when needed \usepackage {amsmath}\usepackage {amssymb}%for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>, %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>, %\<triangleq>, \<yen>, \<lozenge> %\usepackage{eurosym} %for \<euro> %\usepackage[only,bigsqcap]{stmaryrd} %for \<Sqinter> %\usepackage{eufrak} %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb) %\usepackage{textcomp} %for \<onequarter>, \<onehalf>, \<threequarters>, \<degree>, \<cent>, %\<currency> \usepackage {isabelle,isabellesym}% 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 {Intuitionistic Linear Logic}\author {Filip Smola}\maketitle \tableofcontents % sane default for proof documents \parindent 0 pt\parskip 0 .5 ex% generated text of all theories \input {session}% optional bibliography \bibliographystyle {abbrv}\bibliography {root}\end {document}%%% Local Variables: %%% mode: latex %%% TeX-master: t %%% End:
Messung V0.5 in Prozent C=92 H=100 G=95
¤ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet am 2026-06-10)
¤ *© Formatika GbR, Deutschland
