diff --git a/thys/Irrationality_J_Hancl/document/root.bib b/thys/Irrationality_J_Hancl/document/root.bib
--- a/thys/Irrationality_J_Hancl/document/root.bib
+++ b/thys/Irrationality_J_Hancl/document/root.bib
@@ -1,8 +1,20 @@
+%% This BibTeX bibliography file was created using BibDesk.
+%% http://bibdesk.sourceforge.net/
+
+
+%% Created for Larry Paulson at 2023-05-16 11:53:41 +0100 
+
+
+%% Saved with string encoding Unicode (UTF-8) 
+
+
+
 @article{hancl,
-	title={Irrational rapidly convergent series},
-	author={Hancl, JAROSLAV},
-	journal={Rend. Sem. Mat. Univ. Padova},
-	volume={107},
-	pages={225--231},
-	year={2002}
-}
\ No newline at end of file
+	author = {Han{\v c}l, Jaroslav},
+	date-modified = {2023-05-16 11:53:41 +0100},
+	journal = {Rendiconti del Seminario Matematico della Universit{\`a} di Padova},
+	pages = {225-231},
+	title = {Irrational Rapidly Convergent Series},
+	url = {http://eudml.org/doc/108582},
+	volume = {107},
+	year = {2002}}
diff --git a/thys/Transcendence_Series_Hancl_Rucki/document/root.bib b/thys/Transcendence_Series_Hancl_Rucki/document/root.bib
--- a/thys/Transcendence_Series_Hancl_Rucki/document/root.bib
+++ b/thys/Transcendence_Series_Hancl_Rucki/document/root.bib
@@ -1,13 +1,36 @@
+%% This BibTeX bibliography file was created using BibDesk.
+%% http://bibdesk.sourceforge.net/
+
+
+%% Created for Larry Paulson at 2023-05-16 12:07:07 +0100 
+
+
+%% Saved with string encoding Unicode (UTF-8) 
+
+
+
 @article{hancl2005,
-	author = "Han\v{c}l, J. and Rucki, P.",
-	title = "The transcendence of certain infinite series",
-		journal = "Rocky Mountain Journal of Mathematics",
-		
-			volume = "35",	number = "2",
-	year = "2005",
-	pages = "531--537",
-	publisher = "Rocky Mountain Mathematics Consortium",
-	url = "https://doi.org/10.1216/rmjm/1181069744"}
+	author = {Han\v{c}l, J. and Rucki, P.},
+	date-modified = {2023-05-16 12:06:58 +0100},
+	journal = {Rocky Mountain Journal of Mathematics},
+	number = {2},
+	pages = {531-537},
+	publisher = {Rocky Mountain Mathematics Consortium},
+	title = {The Transcendence Of Certain Infinite Series},
+	url = {https://doi.org/10.1216/rmjm/1181069744},
+	volume = {35},
+	year = {2005},
+	bdsk-url-1 = {https://doi.org/10.1216/rmjm/1181069744}}
 
-@article{roth_1955, author={Roth, K. F.}, title={Rational approximations to algebraic numbers},  journal={Mathematika}, volume={2}, part={1},  number={3},   year={1955}, pages={1--20},  publisher={London Mathematical Society and University College London},  DOI={10.1112/S0025579300000644}}.
-
+@article{roth_1955,
+	author = {Roth, K. F.},
+	doi = {10.1112/S0025579300000644},
+	journal = {Mathematika},
+	number = {3},
+	pages = {1--20},
+	part = {1},
+	publisher = {London Mathematical Society and University College London},
+	title = {Rational approximations to algebraic numbers},
+	volume = {2},
+	year = {1955},
+	bdsk-url-1 = {https://doi.org/10.1112/S0025579300000644}}