1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -78,10 +78,10 @@
     1.4  castab := 
     1.5  overwritel (!castab, 
     1.6  	    [((term_of o the o (parse thy)) "solveTest", 
     1.7 -	      (("Test.thy", ["univariate","equation","test"], ["no_met"]), 
     1.8 +	      (("Test", ["univariate","equation","test"], ["no_met"]), 
     1.9  	       argl2dtss)),
    1.10  	     ((term_of o the o (parse thy)) "solve",  
    1.11 -	      (("Isac.thy", ["univariate","equation"], ["no_met"]), 
    1.12 +	      (("Isac", ["univariate","equation"], ["no_met"]), 
    1.13  	       argl2dtss))
    1.14  	     ]);
    1.15