diff --git a/DocGen4/Output/Index.lean b/DocGen4/Output/Index.lean
index fd9b16e..28fdc0f 100644
--- a/DocGen4/Output/Index.lean
+++ b/DocGen4/Output/Index.lean
@@ -27,6 +27,7 @@ def index : BaseHtmlM Html := do templateExtends (baseHtml "Index") <|
Axler, Sheldon. Linear Algebra Done Right. Undergraduate Texts in Mathematics. Cham: Springer International Publishing, 2015.
Cormen, Thomas H., Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms. 3rd ed. Cambridge, Mass: MIT Press, 2009.
Enderton, Herbert B. A Mathematical Introduction to Logic. 2nd ed. San Diego: Harcourt/Academic Press, 2001.
+ Enderton, Herbert B. Elements of Set Theory. New York: Academic Press, 1977.
Gries, David. The Science of Programming. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.
Gustedt, Jens. Modern C. Shelter Island, NY: Manning Publications Co, 2020.
Ross, Sheldon. A First Course in Probability Theory. 8th ed. Pearson Prentice Hall, n.d.