1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Mon Sep 06 16:56:22 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Mon Sep 06 17:07:28 2010 +0200
     1.3 @@ -1007,7 +1007,7 @@
     1.4  	  (Const ("Pair",_) $ Free (thy', _) $
     1.5  		 (Const ("Pair",_) $ pblID' $ metID')) $ ags =
     1.6      str2term"(SubProblem (SqRoot_,[univariate,equation],\
     1.7 -	    \[SqRoot_,solve_linear]) [bool_ (x+1- 2=0), real_ x])::bool list";
     1.8 +	    \[SqRoot_,solve_linear]) [BOOL (x+1- 2=0), REAL x])::bool list";
     1.9  > val ags = isalist2list ags;
    1.10  > mtc thy (hd pbt) (hd ags);
    1.11  val it = SOME ([1],"#Given",Const (#,#),[# $ #]) *)