Polynomial algebra cleanup (tuned)
authoreberlm <eberlm@in.tum.de>
Tue Aug 16 12:41:43 2016 +0200 (2016-08-16)
changeset 637057d371a18b6a2
parent 63704 6209c06d776f
child 63706 76c2f833abf4
Polynomial algebra cleanup (tuned)
src/HOL/Library/Polynomial_Factorial.thy
     1.1 --- a/src/HOL/Library/Polynomial_Factorial.thy	Tue Aug 16 12:02:09 2016 +0200
     1.2 +++ b/src/HOL/Library/Polynomial_Factorial.thy	Tue Aug 16 12:41:43 2016 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  theory Polynomial_Factorial
     1.5  imports 
     1.6    Complex_Main
     1.7 -  Euclidean_Algorithm 
     1.8 +  "~~/src/HOL/Number_Theory/Euclidean_Algorithm"
     1.9    "~~/src/HOL/Library/Polynomial"
    1.10    "~~/src/HOL/Library/Normalized_Fraction"
    1.11  begin