1.1 --- a/src/Tools/isac/Interpret/inform.sml	Mon Oct 11 12:55:40 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Mon Oct 11 13:31:22 2010 +0200
     1.3 @@ -432,7 +432,7 @@
     1.4  	[Given ["fixedValues [r=Arbfix]"],
     1.5  	 Find ["maximum A", "valuesFor [a,b]"(*new input*)], 
     1.6  	 Relate ["relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]"]], Pbl, 
     1.7 -        ("DiffApp.thy", ["e_pblID"], ["e_metID"]));
     1.8 +        ("DiffApp", ["e_pblID"], ["e_metID"]));
     1.9     val ((p,_), hdf, imodel, Pbl, spec as (dI,pI,mI)) = ichd;
    1.10     *)
    1.11  fun input_icalhd pt (((p,_), hdf, imodel, Pbl, spec as (dI,pI,mI)):icalhd) =