Rename

leanprover-community · Nov 5, 2024 · 5c8e7b7 · 5c8e7b7
1 parent 6a5d4a3
commit 5c8e7b7
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 0 deletions.
diff --git a/ConNF/Aux/Cardinal.lean → ConNF/Basic/Cardinal.lean b/ConNF/Aux/Cardinal.lean → ConNF/Basic/Cardinal.lean
diff --git a/ConNF/Aux/InductiveConstruction.lean → ConNF/Basic/InductiveConstruction.lean b/ConNF/Aux/InductiveConstruction.lean → ConNF/Basic/InductiveConstruction.lean
diff --git a/ConNF/Aux/Ordinal.lean → ConNF/Basic/Ordinal.lean b/ConNF/Aux/Ordinal.lean → ConNF/Basic/Ordinal.lean
diff --git a/ConNF/Aux/PermutativeExtension.lean → ConNF/Basic/PermutativeExtension.lean b/ConNF/Aux/PermutativeExtension.lean → ConNF/Basic/PermutativeExtension.lean
diff --git a/ConNF/Aux/ReflTransGen.lean → ConNF/Basic/ReflTransGen.lean b/ConNF/Aux/ReflTransGen.lean → ConNF/Basic/ReflTransGen.lean
diff --git a/ConNF/Aux/Rel.lean → ConNF/Basic/Rel.lean b/ConNF/Aux/Rel.lean → ConNF/Basic/Rel.lean
diff --git a/ConNF/Aux/Set.lean → ConNF/Basic/Set.lean b/ConNF/Aux/Set.lean → ConNF/Basic/Set.lean
diff --git a/ConNF/Aux/Transfer.lean → ConNF/Basic/Transfer.lean b/ConNF/Aux/Transfer.lean → ConNF/Basic/Transfer.lean
diff --git a/ConNF/Aux/WellOrder.lean → ConNF/Basic/WellOrder.lean b/ConNF/Aux/WellOrder.lean → ConNF/Basic/WellOrder.lean