From 2dc16b263fce4c327dcd7ad50b529c455506cb2f Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 17 May 2023 12:19:30 +0200
Subject: [PATCH] Removed root.tex (bug).

---
 Isabelle_DOF/ROOT | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Isabelle_DOF/ROOT b/Isabelle_DOF/ROOT
index 1e6baf7..878d12b 100644
--- a/Isabelle_DOF/ROOT
+++ b/Isabelle_DOF/ROOT
@@ -29,7 +29,6 @@ session "Isabelle_DOF" (AFP) = "Functional-Automata" +
     "root.bib"
     "dof_session.tex"
     "root.mst"
-    "root.tex"
     "preamble.tex"
     "lstisadof-manual.sty" 
     "figures/cicm2018-combined.png"