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 {* Residue Sets *} |
6 header {* Residue Sets *} |
7 |
7 |
8 theory Residues = Int2:; |
8 theory Residues 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 (*****************************************************************) |
13 (*****************************************************************) |