isabelle: src/HOL/Number_Theory/Number_Theory.thy@5b7a9633cfa8 (annotated)

32479 521cc9bf2958 some reorganization of number theory haftmann parents: diff changeset	1
58889 5b7a9633cfa8 modernized header uniformly as section; wenzelm parents: 51173 diff changeset	2	section {* Comprehensive number theory *}
32479 521cc9bf2958 some reorganization of number theory haftmann parents: diff changeset	3
521cc9bf2958 some reorganization of number theory haftmann parents: diff changeset	4	theory Number_Theory
51173 3cbb4e95a565 Sieve of Eratosthenes haftmann parents: 32479 diff changeset	5	imports Fib Residues Eratosthenes
32479 521cc9bf2958 some reorganization of number theory haftmann parents: diff changeset	6	begin
521cc9bf2958 some reorganization of number theory haftmann parents: diff changeset	7
521cc9bf2958 some reorganization of number theory haftmann parents: diff changeset	8	end
51173 3cbb4e95a565 Sieve of Eratosthenes haftmann parents: 32479 diff changeset	9