1.1 --- a/src/Tools/isac/Frontend/interface.sml	Wed Oct 06 14:52:12 2010 +0200
     1.2 +++ b/src/Tools/isac/Frontend/interface.sml	Wed Oct 06 15:12:41 2010 +0200
     1.3 @@ -449,7 +449,7 @@
     1.4  			  Notappl e => message2xml cI ("'" ^ tac2str tac ^ 
     1.5  						       "' not-applicable")
     1.6  			| Appl m => 
     1.7 -			  let val (p,c,_,pt) = generate1 (assoc_thy"Isac.thy") 
     1.8 +			  let val (p,c,_,pt) = generate1 (assoc_thy"Isac") 
     1.9  							 m Uistate ip pt
    1.10  			  in upd_calc cI ((pt,p),[]);
    1.11  			  autocalculateOK2xml cI pold (if null c then pold