From 1a7f555b2f573fd505a5e0fb7f58890c4777ea00 Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Thu, 18 May 2023 08:11:02 -0600 Subject: [PATCH] Rename Enderton to disambiguate next Enderton book. --- Bookshelf.lean | 2 +- Bookshelf/Enderton.lean | 1 - Bookshelf/Enderton_Logic.lean | 1 + Bookshelf/{Enderton.tex => Enderton_Logic.tex} | 0 Bookshelf/{Enderton => Enderton_Logic}/Chapter_0.lean | 0 5 files changed, 2 insertions(+), 2 deletions(-) delete mode 100644 Bookshelf/Enderton.lean create mode 100644 Bookshelf/Enderton_Logic.lean rename Bookshelf/{Enderton.tex => Enderton_Logic.tex} (100%) rename Bookshelf/{Enderton => Enderton_Logic}/Chapter_0.lean (100%) diff --git a/Bookshelf.lean b/Bookshelf.lean index 071c927..88c1df8 100644 --- a/Bookshelf.lean +++ b/Bookshelf.lean @@ -1,4 +1,4 @@ import Bookshelf.Apostol import Bookshelf.Avigad -import Bookshelf.Enderton +import Bookshelf.Enderton_Logic import Bookshelf.Fraleigh diff --git a/Bookshelf/Enderton.lean b/Bookshelf/Enderton.lean deleted file mode 100644 index 30e3af7..0000000 --- a/Bookshelf/Enderton.lean +++ /dev/null @@ -1 +0,0 @@ -import Bookshelf.Enderton.Chapter_0 diff --git a/Bookshelf/Enderton_Logic.lean b/Bookshelf/Enderton_Logic.lean new file mode 100644 index 0000000..a531813 --- /dev/null +++ b/Bookshelf/Enderton_Logic.lean @@ -0,0 +1 @@ +import Bookshelf.Enderton_Logic.Chapter_0 diff --git a/Bookshelf/Enderton.tex b/Bookshelf/Enderton_Logic.tex similarity index 100% rename from Bookshelf/Enderton.tex rename to Bookshelf/Enderton_Logic.tex diff --git a/Bookshelf/Enderton/Chapter_0.lean b/Bookshelf/Enderton_Logic/Chapter_0.lean similarity index 100% rename from Bookshelf/Enderton/Chapter_0.lean rename to Bookshelf/Enderton_Logic/Chapter_0.lean