1.1 --- a/test/Tools/isac/Knowledge/gcd_poly.thy	Mon Aug 26 09:20:07 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/gcd_poly.thy	Mon Aug 26 17:40:27 2019 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  theory gcd_poly 
     1.5 -imports (*"~~/src/Tools/isac/Knowledge/GCD_Poly"*) Isac.Isac
     1.6 +imports (*"~~/src/Tools/isac/Knowledge/GCD_Poly"*) Isac.Isac_Knowledge
     1.7  begin
     1.8  
     1.9  (*here come the tests from GCD_Poly.thy*)