equal
deleted
inserted
replaced
1 (* Title: HOL/Library/Field_as_Ring.thy |
1 (* Title: HOL/Computational_Algebra/Field_as_Ring.thy |
2 Author: Manuel Eberl |
2 Author: Manuel Eberl |
3 *) |
3 *) |
4 |
4 |
5 theory Field_as_Ring |
5 theory Field_as_Ring |
6 imports |
6 imports |