More (test) file shuffling

sdcondon · Jul 25, 2024 · 5f9c593 · 5f9c593
1 parent 8f3b4f8
commit 5f9c593
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/...lation/CNFConversionTests.BookExamples.cs → ...sation/CNFConversionTests.BookExamples.cs b/...lation/CNFConversionTests.BookExamples.cs → ...sation/CNFConversionTests.BookExamples.cs
diff --git a/...entenceManipulation/CNFConversionTests.cs → ...ation/Normalisation/CNFConversionTests.cs b/...entenceManipulation/CNFConversionTests.cs → ...ation/Normalisation/CNFConversionTests.cs
diff --git a/...on/Unification/CNFClauseExtensionTests.cs → ...leManipulation/CNFClauseExtensionTests.cs b/...on/Unification/CNFClauseExtensionTests.cs → ...leManipulation/CNFClauseExtensionTests.cs
diff --git a/...eManipulation/Unification/UnifierTests.cs → ...tion/VariableManipulation/UnifierTests.cs b/...eManipulation/Unification/UnifierTests.cs → ...tion/VariableManipulation/UnifierTests.cs
diff --git a/...Manipulation/VariableSubstitutionTests.cs → ...Manipulation/VariableSubstitutionTests.cs b/...Manipulation/VariableSubstitutionTests.cs → ...Manipulation/VariableSubstitutionTests.cs