equal
deleted
inserted
replaced
1 (* Title: HOL/Algebra/CIdeal.thy |
1 (* Title: HOL/Algebra/Ideal.thy |
2 Author: Stephan Hohe, TU Muenchen |
2 Author: Stephan Hohe, TU Muenchen |
3 *) |
3 *) |
4 |
4 |
5 theory Ideal |
5 theory Ideal |
6 imports Ring AbelCoset |
6 imports Ring AbelCoset |