From b094e908086aa4d7ab5a9ab8e113252638733356 Mon Sep 17 00:00:00 2001
From: Edward <edward.sabinus@informatik.uni-halle.de>
Date: Tue, 5 Dec 2023 15:53:48 +0100
Subject: [PATCH] Move back to dotnet 5.0 from 6.0
---
.gitignore | 16 +++++++++-------
.../BewerterStrukturellerInduktion.csproj | 4 ++--
.../Standardkonfiguration.config | 0
.../Tests/extra/FTree/Bsp.adt | 0
.../Tests/extra/FTree/Bsp.proof | 0
.../Tests/extra/FTree/Bsp.task | 0
.../Tests/ind-simpl/ADT_Bsp.adt | 0
.../Tests/ind-simpl/ADT_Bsp2.adt | 0
.../Tests/ind-simpl/Proof_correct.proof | 0
.../Tests/ind-simpl/Proof_error_1,2.proof | 0
.../Tests/ind-simpl/Proof_error_30,37.proof | 0
.../Tests/ind-simpl/Proof_error_31,38.proof | 0
.../Tests/ind-simpl/Proof_error_32,40,43.proof | 0
.../Tests/ind-simpl/Proof_error_33d,41,43.proof | 0
.../Tests/ind-simpl/Proof_error_33u.proof | 0
.../Tests/ind-simpl/Proof_error_34c.proof | 0
.../Tests/ind-simpl/Proof_error_34cIS,43.proof | 0
.../Tests/ind-simpl/Proof_error_34h.proof | 0
.../Tests/ind-simpl/Proof_error_35.proof | 0
.../Tests/ind-simpl/Proof_error_36.proof | 0
.../Tests/ind-simpl/Proof_error_39.proof | 0
.../ind-simpl/Proof_not_parsable_IH_nd.proof | 0
.../Tests/ind-simpl/Task_Bsp.task | 0
.../Tests/ind-simpl/Task_Bsp2.task | 0
.../Tests/ind-struk/ADT_Bsp.adt | 0
.../Tests/ind-struk/Proof_correct.proof | 0
.../Tests/ind-struk/Proof_error_22.proof | 0
.../Tests/ind-struk/Proof_error_42.proof | 0
.../Tests/ind-struk/Proof_error_43.proof | 0
.../Tests/ind-struk/Task_Bsp.task | 0
.../Tests/lemma/ADT_Bsp.adt | 0
.../Tests/lemma/Proof_T2_correct_0.proof | 0
.../Tests/lemma/Proof_T3,4_error_20,21.proof | 0
.../Tests/lemma/Proof_T3_error_21-2.proof | 0
.../Tests/lemma/Proof_T3_error_21.proof | 0
.../Tests/lemma/Proof_T3_error_22.proof | 0
.../Tests/lemma/Proof_T3_error_23.proof | 0
.../Tests/lemma/Proof_T4_error_20,21.proof | 0
.../Tests/lemma/Proof_correct_0.proof | 0
.../Tests/lemma/Proof_correct_1.proof | 0
.../Tests/lemma/Proof_correct_2.proof | 0
.../Tests/lemma/Proof_error_20,21.proof | 0
.../Tests/lemma/Task_Bsp.task | 0
.../Tests/lemma/Task_Bsp2.task | 0
.../Tests/lemma/Task_Bsp3.task | 0
.../Tests/lemma/Task_Bsp4.task | 0
.../Tests/simpl/ADT_Bsp.adt | 0
.../Tests/simpl/Proof_correct.proof | 0
.../Tests/simpl/Proof_correct_rl.proof | 0
.../Tests/simpl/Proof_error_1.proof | 0
.../Tests/simpl/Proof_error_10.proof | 0
.../Tests/simpl/Proof_error_11.proof | 0
.../Tests/simpl/Proof_error_12.proof | 0
.../Tests/simpl/Proof_error_13.proof | 0
.../Tests/simpl/Proof_error_2.proof | 0
.../Tests/simpl/Proof_error_3.proof | 0
.../Tests/simpl/Proof_error_4.proof | 0
.../Tests/simpl/Proof_error_5.proof | 0
.../Tests/simpl/Proof_error_6.proof | 0
.../Tests/simpl/Proof_error_7.proof | 0
.../Tests/simpl/Proof_error_8.proof | 0
.../Tests/simpl/Proof_error_9.proof | 0
.../Tests/simpl/Task_Bsp.task | 0
63 files changed, 11 insertions(+), 9 deletions(-)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Standardkonfiguration.config (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/extra/FTree/Bsp.adt (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/extra/FTree/Bsp.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/extra/FTree/Bsp.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/ADT_Bsp.adt (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/ADT_Bsp2.adt (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_correct.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_1,2.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_30,37.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_31,38.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_32,40,43.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_33d,41,43.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_33u.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_34c.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_34cIS,43.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_34h.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_35.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_36.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_error_39.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Proof_not_parsable_IH_nd.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Task_Bsp.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-simpl/Task_Bsp2.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-struk/ADT_Bsp.adt (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-struk/Proof_correct.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-struk/Proof_error_22.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-struk/Proof_error_42.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-struk/Proof_error_43.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/ind-struk/Task_Bsp.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/ADT_Bsp.adt (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_T2_correct_0.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_T3,4_error_20,21.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_T3_error_21-2.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_T3_error_21.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_T3_error_22.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_T3_error_23.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_T4_error_20,21.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_correct_0.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_correct_1.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_correct_2.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Proof_error_20,21.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Task_Bsp.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Task_Bsp2.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Task_Bsp3.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/lemma/Task_Bsp4.task (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/ADT_Bsp.adt (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_correct.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_correct_rl.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_1.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_10.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_11.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_12.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_13.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_2.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_3.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_4.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_5.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_6.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_7.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_8.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Proof_error_9.proof (100%)
rename BewerterStrukturellerInduktion/bin/Debug/{netcoreapp6.0 => netcoreapp5.0}/Tests/simpl/Task_Bsp.task (100%)
diff --git a/.gitignore b/.gitignore
index 10b16d7..7a34920 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,14 +7,16 @@ ANTRL-Grammatiken/*/*.tokens
# C# bin-Dateien und IDE Dateien
.vs
-BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/*.dll
-BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/*.txt
-BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/*.exe
-BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/*.json
-BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/*.pdb
-BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/.config
-BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/ex/
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/*.dll
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/*.txt
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/*.exe
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/*.json
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/*.pdb
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/.config
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/ex/
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/ref/
BewerterStrukturellerInduktion/bin/Release/*
BewerterStrukturellerInduktion/obj/
BewerterStrukturellerInduktion/Properties/
BewerterStrukturellerInduktion/*.user
+BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/
diff --git a/BewerterStrukturellerInduktion/BewerterStrukturellerInduktion.csproj b/BewerterStrukturellerInduktion/BewerterStrukturellerInduktion.csproj
index 72fe010..7ccb666 100644
--- a/BewerterStrukturellerInduktion/BewerterStrukturellerInduktion.csproj
+++ b/BewerterStrukturellerInduktion/BewerterStrukturellerInduktion.csproj
@@ -2,9 +2,9 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
- <TargetFramework>netcoreapp6.0</TargetFramework>
+ <TargetFramework>netcoreapp5.0</TargetFramework>
<StartupObject>ProgramForHuman</StartupObject>
- <AssemblyName>BaumtransformationBewerterHuman</AssemblyName>
+ <AssemblyName>BewerterStrukturellerInduktionHuman</AssemblyName>
</PropertyGroup>
<ItemGroup>
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Standardkonfiguration.config b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Standardkonfiguration.config
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Standardkonfiguration.config
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Standardkonfiguration.config
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/extra/FTree/Bsp.adt b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/FTree/Bsp.adt
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/extra/FTree/Bsp.adt
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/FTree/Bsp.adt
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/extra/FTree/Bsp.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/FTree/Bsp.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/extra/FTree/Bsp.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/FTree/Bsp.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/extra/FTree/Bsp.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/FTree/Bsp.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/extra/FTree/Bsp.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/FTree/Bsp.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/ADT_Bsp.adt b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/ADT_Bsp.adt
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/ADT_Bsp.adt
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/ADT_Bsp.adt
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/ADT_Bsp2.adt b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/ADT_Bsp2.adt
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/ADT_Bsp2.adt
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/ADT_Bsp2.adt
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_correct.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_correct.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_correct.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_correct.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_1,2.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_1,2.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_1,2.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_1,2.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_30,37.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_30,37.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_30,37.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_30,37.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_31,38.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_31,38.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_31,38.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_31,38.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_32,40,43.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_32,40,43.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_32,40,43.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_32,40,43.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_33d,41,43.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_33d,41,43.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_33d,41,43.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_33d,41,43.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_33u.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_33u.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_33u.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_33u.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_34c.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_34c.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_34c.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_34c.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_34cIS,43.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_34cIS,43.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_34cIS,43.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_34cIS,43.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_34h.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_34h.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_34h.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_34h.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_35.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_35.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_35.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_35.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_36.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_36.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_36.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_36.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_39.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_39.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_error_39.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_error_39.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_not_parsable_IH_nd.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_not_parsable_IH_nd.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Proof_not_parsable_IH_nd.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Proof_not_parsable_IH_nd.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Task_Bsp.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Task_Bsp.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Task_Bsp.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Task_Bsp.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Task_Bsp2.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Task_Bsp2.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-simpl/Task_Bsp2.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-simpl/Task_Bsp2.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/ADT_Bsp.adt b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/ADT_Bsp.adt
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/ADT_Bsp.adt
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/ADT_Bsp.adt
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_correct.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_correct.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_correct.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_correct.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_error_22.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_error_22.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_error_22.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_error_22.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_error_42.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_error_42.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_error_42.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_error_42.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_error_43.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_error_43.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Proof_error_43.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Proof_error_43.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Task_Bsp.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Task_Bsp.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/ind-struk/Task_Bsp.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/ind-struk/Task_Bsp.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/ADT_Bsp.adt b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/ADT_Bsp.adt
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/ADT_Bsp.adt
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/ADT_Bsp.adt
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T2_correct_0.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T2_correct_0.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T2_correct_0.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T2_correct_0.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3,4_error_20,21.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3,4_error_20,21.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3,4_error_20,21.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3,4_error_20,21.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_21-2.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_21-2.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_21-2.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_21-2.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_21.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_21.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_21.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_21.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_22.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_22.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_22.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_22.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_23.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_23.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T3_error_23.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T3_error_23.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T4_error_20,21.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T4_error_20,21.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_T4_error_20,21.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_T4_error_20,21.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_correct_0.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_correct_0.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_correct_0.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_correct_0.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_correct_1.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_correct_1.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_correct_1.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_correct_1.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_correct_2.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_correct_2.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_correct_2.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_correct_2.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_error_20,21.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_error_20,21.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Proof_error_20,21.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Proof_error_20,21.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp2.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp2.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp2.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp2.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp3.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp3.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp3.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp3.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp4.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp4.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/lemma/Task_Bsp4.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp4.task
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/ADT_Bsp.adt b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/ADT_Bsp.adt
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/ADT_Bsp.adt
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/ADT_Bsp.adt
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_correct.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_correct.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_correct.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_correct.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_correct_rl.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_correct_rl.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_correct_rl.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_correct_rl.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_1.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_1.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_1.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_1.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_10.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_10.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_10.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_10.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_11.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_11.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_11.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_11.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_12.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_12.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_12.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_12.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_13.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_13.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_13.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_13.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_2.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_2.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_2.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_2.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_3.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_3.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_3.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_3.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_4.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_4.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_4.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_4.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_5.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_5.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_5.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_5.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_6.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_6.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_6.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_6.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_7.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_7.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_7.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_7.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_8.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_8.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_8.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_8.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_9.proof b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_9.proof
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Proof_error_9.proof
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_9.proof
diff --git a/BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Task_Bsp.task b/BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Task_Bsp.task
similarity index 100%
rename from BewerterStrukturellerInduktion/bin/Debug/netcoreapp6.0/Tests/simpl/Task_Bsp.task
rename to BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/simpl/Task_Bsp.task
--
GitLab