changeset 69791 | 195aeee8b30a |
parent 67165 | 22a5822f52f7 |
child 70817 | dd675800469d |
--- a/src/HOL/Computational_Algebra/Computational_Algebra.thy Mon Feb 04 15:39:37 2019 +0100 +++ b/src/HOL/Computational_Algebra/Computational_Algebra.thy Mon Feb 04 17:19:04 2019 +0100 @@ -5,7 +5,7 @@ imports Euclidean_Algorithm Factorial_Ring - Formal_Power_Series + Formal_Laurent_Series Fraction_Field Fundamental_Theorem_Algebra Group_Closure