author | eberlm <eberlm@in.tum.de> |
Mon, 17 Oct 2016 15:20:06 +0200 | |
changeset 64282 | 261d42f0bfac |
parent 60526 | fad653acf58f |
child 64318 | 1e92b5c35615 |
permissions | -rw-r--r-- |
32479 | 1 |
|
60526 | 2 |
section \<open>Comprehensive number theory\<close> |
32479 | 3 |
|
4 |
theory Number_Theory |
|
64282
261d42f0bfac
Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche)
eberlm <eberlm@in.tum.de>
parents:
60526
diff
changeset
|
5 |
imports Fib Residues Eratosthenes QuadraticReciprocity Pocklington |
32479 | 6 |
begin |
7 |
||
8 |
end |
|
51173 | 9 |