equal
deleted
inserted
replaced
1 (* Title: MiscAlgebra.thy |
1 (* Title: HOL/Number_Theory/MiscAlgebra.thy |
2 Author: Jeremy Avigad |
2 Author: Jeremy Avigad |
3 |
3 |
4 These are things that can be added to the Algebra library. |
4 These are things that can be added to the Algebra library. |
5 *) |
5 *) |
6 |
6 |