1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Nov 13 13:01:38 2013 +0000
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Nov 13 15:10:21 2013 +0100
     1.3 @@ -33,6 +33,9 @@
     1.4    "~~/test/Pure/Isar/Test_Parse_Term"
     1.5    "~~/test/HOL/Library/Test_Polynomial"
     1.6  
     1.7 +  "~~/src/Tools/isac/Knowledge/GCD_Poly_OLD" (*not imported by Isac.thy*)
     1.8 +  "~~/src/Tools/isac/Knowledge/GCD_Poly_FP"  (*not imported by Isac.thy*)
     1.9 +
    1.10  begin
    1.11  section {* trials with Isabelle's functions *}
    1.12    ML {*"%%%%%%%%%%%%%%%%% start Isabelle %%%%%%%%%%%%%%%%%%%%%%%";*}