# HG changeset patch
# User wenzelm
# Date 1711034125 -3600
# Node ID ef635b035561ec7e43d54888c367c84ef5398def
# Parent  f91d97023beb7395b724b38ea615ca0ef6ffaf06
proper bib entries (amending 82aaa0d8fc3b);

diff -r f91d97023beb -r ef635b035561 src/HOL/Analysis/document/root.bib
--- 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}