changeset 58889 | 5b7a9633cfa8 |
parent 58776 | 95e58e04e534 |
child 58952 | 5d82cdef6c1b |
58888:9537bf1c4853 | 58889:5b7a9633cfa8 |
---|---|
5 Author: Lawrence C Paulson |
5 Author: Lawrence C Paulson |
6 Author: Markus Wenzel |
6 Author: Markus Wenzel |
7 Author: Jeremy Avigad |
7 Author: Jeremy Avigad |
8 *) |
8 *) |
9 |
9 |
10 header {* Rings *} |
10 section {* Rings *} |
11 |
11 |
12 theory Rings |
12 theory Rings |
13 imports Groups |
13 imports Groups |
14 begin |
14 begin |
15 |
15 |