more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX;
clarified ISABELLE_MAKEINDEX options;
section \<open>Comprehensive number theory\<close>
theory Number_Theory
imports
Fib
Residues
Eratosthenes
Mod_Exp
Quadratic_Reciprocity
Pocklington
Prime_Powers
Residue_Primitive_Roots
begin
end