src/HOL/Number_Theory/Number_Theory.thy

hybrid "auto" tool setup, for TTY (within theory) and PIDE (global print function);

header {* Comprehensive number theory *}

theory Number_Theory
imports Fib Residues Eratosthenes
begin

end