--- a/src/HOL/Analysis/document/root.bib Thu Mar 21 15:00:22 2024 +0100
+++ b/src/HOL/Analysis/document/root.bib Thu Mar 21 16:15:25 2024 +0100
@@ -31,4 +31,23 @@
publisher={Springer Science \& Business Media}
}
+@book{Lang_1993,
+ place={New York},
+ title={Real and Functional Analysis},
+ publisher={Springer},
+ author={Lang, Serge},
+ year={1993},
+ isbn={978-1-4612-0897-6}
+}
+
+@book{engelking_1989,
+ title={General Topology},
+ author={Engelking, R.},
+ isbn={978-3-8853-8006-1},
+ series={Sigma series in pure mathematics},
+ url={https://books.google.com.tr/books?id=K3spAQAAMAAJ},
+ year={1989},
+ publisher={Heldermann}
+}
+
@misc{dummy}