The changes in README.md and doc/lathalesians.tex are purely cosmetic…

…. doc/lathalesians.pdf hasn't changed - it has simply been rebuilt.

In lathalesians-font.sty, ae per the comment:

% txfonts must be required before mathpazo, and amsthm, should one decide to
% use it, must be required before txfonts. Therefore we shall require it here,
% just in case, to spare our users the confusion.

README.md

@@ -1,4 +1,4 @@
-# lathalesians
+# LaThalesians
 
 The LaThalesians library comprises a heterogeneous collection of LaTeX packages,
 which facilitate the type-setting of the Thalesians’ work in mathematics,

doc/lathalesians.tex

@@ -17,13 +17,13 @@
 
 \usepackage[usecolour=true]{lathalesians-commons}
 \usepackage[usegeometry=true]{lathalesians-formatting}
-\usepackage{lathalesians-theorems}
+\usepackage{lathalesians-font}
 \usepackage{lathalesians-code}
 \usepackage{lathalesians-analysis}
 \usepackage{lathalesians-linear}
 \usepackage{lathalesians-probability}
 \usepackage{lathalesians-categories}
-\usepackage{lathalesians-font}
+\usepackage{lathalesians-theorems}
 \usepackage{lathalesians-domains}
 \usepackage{lathalesians-computability}
 
@@ -896,4 +896,4 @@ \section{Bibliography: \program{lathalesians-bibliography}}
 \printindex{general}{Subject index}
 \printindex{authors}{Index of authors}
 
-\end{document}
+\end{document} 

lathalesians-font.sty

@@ -1,8 +1,10 @@
 \NeedsTeXFormat{LaTeX2e}[1994/06/01]
 \ProvidesPackage{lathalesians-font}[2016/09/24 LaThalesians Font]
 
-% txfonts must be required before mathpazo:
-\RequirePackage{txfonts}
+% txfonts must be required before mathpazo, and amsthm, should one decide to
+% use it, must be required before txfonts. Therefore we shall require it here,
+% just in case, to spare our users the confusion.
+\RequirePackage{amsmath,amsthm,txfonts}
 
 % txfonts introduces some domain theory symbols. We require this package here
 % so that it doesn't matter whether this package is loaded before or after