1.1 --- a/src/Tools/isac/Knowledge/Isac.thy	Sun Jun 30 17:27:34 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Isac.thy	Thu Jul 11 16:58:31 2013 +0200
     1.3 @@ -6,8 +6,8 @@
     1.4  imports "~~/src/Tools/isac/Frontend/Frontend"
     1.5    PolyMinus PolyEq Vect DiffApp Biegelinie AlgEin (*InsSort +*) 
     1.6    DiophantEq Inverse_Z_Transform Test
     1.7 -  (*THIS WAITS UNITL Isabelle2013 (? how include into dependency graph?):
     1.8 -  GCD_Poly_FP*)
     1.9 +  (*THIS WAITS UNITL Isabelle2013 (? how include into dependency graph?).....
    1.10 +  ..... GCD_Poly_FP*)
    1.11  begin
    1.12  
    1.13  text {* dependencies alternative to those defined by R.Lang during his thesis: