changeset 65435 | 378175f44328 |
parent 65413 | cb7f9d7d35e6 |
child 66817 | 0b12755ccbb2 |
65434:e62b1af601f0 | 65435:378175f44328 |
---|---|
1 (* Title: HOL/Number_Theory/Quadratic_Reciprocity.thy |
1 (* Title: HOL/Number_Theory/Gauss.thy |
2 Authors: Jeremy Avigad, David Gray, and Adam Kramer |
2 Authors: Jeremy Avigad, David Gray, and Adam Kramer |
3 |
3 |
4 Ported by lcp but unfinished. |
4 Ported by lcp but unfinished. |
5 *) |
5 *) |
6 |
6 |