From 5c8e7b7a0a316d1479f411ecf92b06709fae5f2f Mon Sep 17 00:00:00 2001
From: zeramorphic <50671761+zeramorphic@users.noreply.github.com>
Date: Tue, 5 Nov 2024 21:32:09 +0000
Subject: [PATCH] Rename

---
 ConNF/{Aux => Basic}/Cardinal.lean              | 0
 ConNF/{Aux => Basic}/InductiveConstruction.lean | 0
 ConNF/{Aux => Basic}/Ordinal.lean               | 0
 ConNF/{Aux => Basic}/PermutativeExtension.lean  | 0
 ConNF/{Aux => Basic}/ReflTransGen.lean          | 0
 ConNF/{Aux => Basic}/Rel.lean                   | 0
 ConNF/{Aux => Basic}/Set.lean                   | 0
 ConNF/{Aux => Basic}/Transfer.lean              | 0
 ConNF/{Aux => Basic}/WellOrder.lean             | 0
 9 files changed, 0 insertions(+), 0 deletions(-)
 rename ConNF/{Aux => Basic}/Cardinal.lean (100%)
 rename ConNF/{Aux => Basic}/InductiveConstruction.lean (100%)
 rename ConNF/{Aux => Basic}/Ordinal.lean (100%)
 rename ConNF/{Aux => Basic}/PermutativeExtension.lean (100%)
 rename ConNF/{Aux => Basic}/ReflTransGen.lean (100%)
 rename ConNF/{Aux => Basic}/Rel.lean (100%)
 rename ConNF/{Aux => Basic}/Set.lean (100%)
 rename ConNF/{Aux => Basic}/Transfer.lean (100%)
 rename ConNF/{Aux => Basic}/WellOrder.lean (100%)

diff --git a/ConNF/Aux/Cardinal.lean b/ConNF/Basic/Cardinal.lean
similarity index 100%
rename from ConNF/Aux/Cardinal.lean
rename to ConNF/Basic/Cardinal.lean
diff --git a/ConNF/Aux/InductiveConstruction.lean b/ConNF/Basic/InductiveConstruction.lean
similarity index 100%
rename from ConNF/Aux/InductiveConstruction.lean
rename to ConNF/Basic/InductiveConstruction.lean
diff --git a/ConNF/Aux/Ordinal.lean b/ConNF/Basic/Ordinal.lean
similarity index 100%
rename from ConNF/Aux/Ordinal.lean
rename to ConNF/Basic/Ordinal.lean
diff --git a/ConNF/Aux/PermutativeExtension.lean b/ConNF/Basic/PermutativeExtension.lean
similarity index 100%
rename from ConNF/Aux/PermutativeExtension.lean
rename to ConNF/Basic/PermutativeExtension.lean
diff --git a/ConNF/Aux/ReflTransGen.lean b/ConNF/Basic/ReflTransGen.lean
similarity index 100%
rename from ConNF/Aux/ReflTransGen.lean
rename to ConNF/Basic/ReflTransGen.lean
diff --git a/ConNF/Aux/Rel.lean b/ConNF/Basic/Rel.lean
similarity index 100%
rename from ConNF/Aux/Rel.lean
rename to ConNF/Basic/Rel.lean
diff --git a/ConNF/Aux/Set.lean b/ConNF/Basic/Set.lean
similarity index 100%
rename from ConNF/Aux/Set.lean
rename to ConNF/Basic/Set.lean
diff --git a/ConNF/Aux/Transfer.lean b/ConNF/Basic/Transfer.lean
similarity index 100%
rename from ConNF/Aux/Transfer.lean
rename to ConNF/Basic/Transfer.lean
diff --git a/ConNF/Aux/WellOrder.lean b/ConNF/Basic/WellOrder.lean
similarity index 100%
rename from ConNF/Aux/WellOrder.lean
rename to ConNF/Basic/WellOrder.lean