%% Copyright (C) 2018 The University of Sheffield
%%               2018 The University of Paris-Sud
%%
%% License:
%%   This program can be redistributed and/or modified under the terms
%%   of the LaTeX Project Public License Distributed from CTAN
%%   archives in directory macros/latex/base/lppl.txt; either
%%   version 1 of the License, or any later version.
%%   OR
%%   The 2-clause BSD-style license.
%%  
%%   SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause

%% Warning: Do Not Edit!
%% =====================
%% This is the root file for the Isabelle/DOF using Springer's llncs.cls.
%% All customization and/or additional packages should be added to the file 
%% preamble.tex. 

\documentclass[a4paper,USenglish,cleveref, autoref]{lipics-v2019}
\bibliographystyle{plainurl}% the mandatory bibstyle
\usepackage{isabelle}
\usepackage{isabellesym}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[numbers, sort&compress, sectionbib]{natbib}
\IfFileExists{DOF-core.sty}{}{%
  \PackageError{DOF-core}{Isabelle/DOF not installed. 
    This is a Isabelle_DOF project. The document preparation requires
    the Isabelle_DOF framework. Please obtain the framework by cloning
    the Isabelle_DOF git repository, i.e.: 
         "git clone https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF"
    You can install the framework as follows:
         "cd Isabelle_DOF/document-generator && ./install"}{%
    For further help, see https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF}
}
\input{ontologies}
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
\begin{document}


\maketitle
\input{session}
% optional bibliography
\IfFileExists{root.bib}{%
{\small  
  \bibliography{root}
}}{}
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
