src/HOL/Number_Theory/Number_Theory.thy
author haftmann
Sun, 09 Nov 2014 10:03:18 +0100
changeset 58954 18750e86d5b8
parent 58889 5b7a9633cfa8
child 60526 fad653acf58f
permissions -rw-r--r--
reverted 1ebf0a1f12a4 after successful re-tuning of simp rules for divisibility


section {* Comprehensive number theory *}

theory Number_Theory
imports Fib Residues Eratosthenes
begin

end