From 588c6ab14184cab4bb7df89def641acaafe3b7eb Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Mon, 16 Sep 2024 11:34:01 +0200
Subject: working commit

---
 latex/stdlib.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'latex/stdlib.tex')

diff --git a/latex/stdlib.tex b/latex/stdlib.tex
index 2faa267..9879708 100644
--- a/latex/stdlib.tex
+++ b/latex/stdlib.tex
@@ -47,5 +47,7 @@
     \input{../library/topology/disconnection.tex}
     \input{../library/numbers.tex}
     \input{../library/topology/urysohn.tex}
-    \input{../library/wunschzettel.tex}
+    \input{../library/topology/urysohn2.tex}
+    \input{../library/topology/real-topological-space.tex}
+    %\input{../library/wunschzettel.tex}
 \end{document}
-- 
cgit v1.2.3

