1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Sat Mar 31 10:30:17 2018 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Tue Apr 03 14:50:58 2018 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4          10        20        30        40        50        60        70        80
     1.5  *)
     1.6  
     1.7 -theory DiophantEq imports Atools Equation Test
     1.8 +theory DiophantEq imports Base_Tools Equation Test
     1.9  begin
    1.10  
    1.11  consts