| changeset 58889 | 5b7a9633cfa8 |
| parent 58826 | 2ed2eaabe3df |
| child 59535 | 9e7467829db5 |
| 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 {* Fields *} |
10 section {* Fields *} |
11 |
11 |
12 theory Fields |
12 theory Fields |
13 imports Rings |
13 imports Rings |
14 begin |
14 begin |
15 |
15 |