From 3fc4688f69b739cd82b70cdfd5cc113081b157d8 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolffburkhart@gmail.com>
Date: Fri, 24 Mar 2023 08:13:51 +0100
Subject: [PATCH] updated Evaluation Section

---
 .../{Evaluation.thy => Concept_TermEvaluation.thy}              | 0
 Isabelle_DOF-Unit-Tests/ROOT                                    | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename Isabelle_DOF-Unit-Tests/{Evaluation.thy => Concept_TermEvaluation.thy} (100%)

diff --git a/Isabelle_DOF-Unit-Tests/Evaluation.thy b/Isabelle_DOF-Unit-Tests/Concept_TermEvaluation.thy
similarity index 100%
rename from Isabelle_DOF-Unit-Tests/Evaluation.thy
rename to Isabelle_DOF-Unit-Tests/Concept_TermEvaluation.thy
diff --git a/Isabelle_DOF-Unit-Tests/ROOT b/Isabelle_DOF-Unit-Tests/ROOT
index c721966..2c0108d 100644
--- a/Isabelle_DOF-Unit-Tests/ROOT
+++ b/Isabelle_DOF-Unit-Tests/ROOT
@@ -9,8 +9,8 @@ session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
     "Concept_MonitorTest1"
     "Concept_MonitorTest2"
     "Concept_TermAntiquotations"
+    "Concept_TermEvaluation"
     "Attributes"
-    "Evaluation"
     "AssnsLemmaThmEtc" 
     "Ontology_Matching_Example"
     "Cenelec_Test"