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 {*Parity: Even and Odd Integers*} |
6 header {*Parity: Even and Odd Integers*} |
7 |
7 |
8 theory EvenOdd = Int2:; |
8 theory EvenOdd imports Int2 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 |