equal
deleted
inserted
replaced
3 Authors: Jeremy Avigad, David Gray, and Adam Kramer |
3 Authors: Jeremy Avigad, David Gray, and Adam Kramer |
4 *) |
4 *) |
5 |
5 |
6 header {*Integers: Divisibility and Congruences*} |
6 header {*Integers: Divisibility and Congruences*} |
7 |
7 |
8 theory Int2 = Finite2 + WilsonRuss:; |
8 theory Int2 imports Finite2 WilsonRuss begin; |
9 |
9 |
10 text{*Note. This theory is being revised. See the web page |
10 text{*Note. This theory is being revised. See the web page |
11 \url{http://www.andrew.cmu.edu/~avigad/isabelle}.*} |
11 \url{http://www.andrew.cmu.edu/~avigad/isabelle}.*} |
12 |
12 |
13 constdefs |
13 constdefs |