# HG changeset patch
# User nipkow
# Date 1546020025 -3600
# Node ID 0563419bf022c8388b3ca280ccde0a79255e4f2e
# Parent  bf88364c9e9462e49594d9ca9adea31699c688ae
added bib-file

diff -r bf88364c9e94 -r 0563419bf022 src/HOL/Analysis/document/root.bib
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Analysis/document/root.bib	Fri Dec 28 19:00:25 2018 +0100
@@ -0,0 +1,11 @@
+@article{dugundji,
+  author	= {J. Dugundji},
+  title		= {An extension of {Tietze's} theorem},
+  journal	= {Pacific J. Math.},
+  pages		= {353-367},
+  volume  = 1,
+  number  = 3,
+  year    = 1951,
+  url     = {https://projecteuclid.org/euclid.pjm/1103052106}}
+
+@misc{dummy}