src/HOL/Number_Theory/Number_Theory.thy

--- a/src/HOL/Number_Theory/Number_Theory.thy	Sat Feb 02 15:52:14 2019 +0100
+++ b/src/HOL/Number_Theory/Number_Theory.thy	Mon Feb 04 12:16:03 2019 +0100
@@ -2,7 +2,14 @@
 section \<open>Comprehensive number theory\<close>
 
 theory Number_Theory
-imports Fib Residues Eratosthenes Quadratic_Reciprocity Pocklington Prime_Powers
+imports
+  Fib
+  Residues
+  Eratosthenes
+  Quadratic_Reciprocity
+  Pocklington
+  Prime_Powers
+  Residue_Primitive_Roots
 begin
 
 end