1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Jan 23 17:29:49 2013 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Jan 24 17:17:03 2013 +0100
     1.3 @@ -155,6 +155,7 @@
     1.4    use "Knowledge/atools.sml"
     1.5    use "Knowledge/simplify.sml"
     1.6    use "Knowledge/poly.sml"
     1.7 +  use "Knowledge/gcd_poly_winkler.sml"
     1.8  (*use "Knowledge/rational.sml"  WN120317.TODO postponed to joint work with dmeindl *)
     1.9    use "Knowledge/equation.sml"
    1.10    use "Knowledge/root.sml"