--- a/NEWS Wed Apr 12 13:48:07 2017 +0200
+++ b/NEWS Wed Apr 12 09:27:43 2017 +0200
@@ -66,6 +66,10 @@
fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
INCOMPATIBILITY.
+* Theory Totient in session Number_Theory introduces basic notions
+about Euler's totient function previously hidden as solitary example
+in theory Residues. Minor INCOMPATIBILITY.
+
* Session "Computional_Algebra" covers many previously scattered
theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,
Fraction_Field, Fundamental_Theorem_Algebra, Normalized_Fraction,