%% This is a placeholder for user-specific configuration and packages. 

\usepackage{stmaryrd}
\IfFileExists{beramono.sty}{\usepackage[scaled=0.88]{beramono}}{}%
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}%
\usepackage{textcomp}
\usepackage{xcolor}
\usepackage{paralist}
\usepackage{listings}
\usepackage{lstisadof}
\usepackage{xspace}

\newcommand{\fixIsarList}{\vspace{-\topsep}\vspace{-\baselineskip}\mbox{}\\[0pt]\noindent}

%\nolinenumbers
\title{<TITLE>}
\author{<AUTHOR>}
%\author{First Author\inst{1}\orcidID{0000-1111-2222-3333}}
%\author{First Author\inst{1}\orcidID{0000-1111-2222-3333} \and
%Second Author\inst{2,3}\orcidID{1111-2222-3333-4444}}
%\institute{Inst1}
%\institute{ Inst1 \and Inst2 \and Inst3}
\titlerunning{Proving Ontology-Relations, Testing Ontology Instances}
%\author{Idir Ait-Sadoune}
%  {LMF, CentraleSupélec, Université Paris-Saclay, Paris, France}
%  {idir.aitsadoune@centralesupelec.fr}
%  {https://orcid.org/0000-0002-6484-8276}
%  {}
%\author{Nicolas Méric}
%  {LMF, Université Paris-Saclay, Paris, France}
%  {nicolas.meric@universite-paris-saclay.fr}
%  {https://orcid.org/0000-0002-0756-7072}
%  {}
%\author{Burkhart Wolff}
%  {LMF, Université Paris-Saclay, Paris, France}
%  {burkhart.wolff@universite-paris-saclay.fr}
%  {}
%  {}
%\Copyright{Idir Ait-Sadoune, Nicolas Méric, and Burkhart Wolff}
\authorrunning{I. Ait-Sadoune, N. Méric and B. Wolff}
%\keywords{Ontologies, Formal Documents, Formal Development, Isabelle/HOL, Ontology Mapping}
%\ccsdesc{Computing methodologies~Ontology engineering}
%\ccsdesc{Information systems~Ontologies}
%\ccsdesc{Theory of computation~Interactive proof systems}
%\ccsdesc{Theory of computation~Higher order logic}
