changeset 65435 | 378175f44328 |
parent 65417 | fc41a5650fb1 |
child 66817 | 0b12755ccbb2 |
65434:e62b1af601f0 | 65435:378175f44328 |
---|---|
1 (* Title: HOL/Number_Theory/Euclidean_Algorithm.thy |
1 (* Title: HOL/Computational_Algebra/Euclidean_Algorithm.thy |
2 Author: Manuel Eberl, TU Muenchen |
2 Author: Manuel Eberl, TU Muenchen |
3 *) |
3 *) |
4 |
4 |
5 section \<open>Abstract euclidean algorithm in euclidean (semi)rings\<close> |
5 section \<open>Abstract euclidean algorithm in euclidean (semi)rings\<close> |
6 |
6 |