1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Jun 18 17:51:36 2013 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Jun 18 17:56:09 2013 +0200
     1.3 @@ -160,8 +160,6 @@
     1.4  (*THIS WAITS UNTIL Isabelle2013 IN THIS SEQUENCE (SEE Test_Some2.thy):0
     1.5    use "Knowledge/gcd_poly.sml" (*type error 'nth' etc*)
     1.6    use "Knowledge/gcd_poly_winkler.sml"*)
     1.7 -  use "Knowledge/gcd_poly.sml"
     1.8 -  use "Knowledge/gcd_poly_winkler.sml"
     1.9  (*use "Knowledge/rational.sml"  WN120317.TODO postponed to joint work with dmeindl *)
    1.10    use "Knowledge/equation.sml"
    1.11    use "Knowledge/root.sml"