diff --git a/.gitignore b/.gitignore
index 10b16d7d059ff35f09feaf7acd7955d3fd080ef9..7a34920877c4c79c25bb0b5c6d4c5ada242ce620 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 72fe0102362ea20c6370ce821b5875a0a4c8ef35..7ccb666727caa8fcfe020f668587bf4dc40bfd89 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