From ee251a80001bb2759b20fa63f96e43d14c5eea37 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 8 Sep 2020 00:01:50 +0100
Subject: [PATCH] Removed unused LaTeX definitions and style files.

---
 examples/scholarly_paper/2020-iFM-CSP/ROOT            |  1 -
 .../2020-iFM-CSP/document/preamble.tex                | 11 -----------
 2 files changed, 12 deletions(-)

diff --git a/examples/scholarly_paper/2020-iFM-CSP/ROOT b/examples/scholarly_paper/2020-iFM-CSP/ROOT
index 74ed6017..1445bb26 100644
--- a/examples/scholarly_paper/2020-iFM-CSP/ROOT
+++ b/examples/scholarly_paper/2020-iFM-CSP/ROOT
@@ -4,7 +4,6 @@ session "2020-iFM-csp" = "Isabelle_DOF" +
     "paper"
   document_files
     "isadof.cfg"
-    "lstisadof.sty"
     "root.bib"
     "preamble.tex"
     "build"
diff --git a/examples/scholarly_paper/2020-iFM-CSP/document/preamble.tex b/examples/scholarly_paper/2020-iFM-CSP/document/preamble.tex
index ab1c338e..fbaab63d 100644
--- a/examples/scholarly_paper/2020-iFM-CSP/document/preamble.tex
+++ b/examples/scholarly_paper/2020-iFM-CSP/document/preamble.tex
@@ -1,20 +1,9 @@
 %% This is a placeholder for user-specific configuration and packages.
-\usepackage{xcolor}
-\usepackage{listings}
-\usepackage{lstisadof}
 
 \usepackage{stmaryrd}
-
-\newcommand{\doi}[1]{}
-
 \newcommand{\ie}{i.e.}
 \newcommand{\eg}{e.g.}
 
-\usepackage{amsthm}
-\newtheorem{example}{Example}
-\newtheorem{definition}{Definition}
-\newtheorem{theorem}{Theorem}
-
 \title{<TITLE>}
 \author{<AUTHOR>}