1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Mar 08 07:28:17 2018 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Mar 08 07:52:06 2018 +0100
     1.3 @@ -244,7 +244,7 @@
     1.4  
     1.5  *} ML {*
     1.6  *} ML {*
     1.7 -term2str t
     1.8 +term2str t = "c + x + 1 / (2 + 1) * x ^^^ (2 + 1)"
     1.9  *} ML {*
    1.10  if term2str t = "c + x + 1 / 3 * x ^^^ 3" andalso p = ([], Res) then ()
    1.11  else error "mathengine.sml -- fun autoCalculate -- end";
    1.12 @@ -576,6 +576,8 @@
    1.13  else error  "biegelinie.sml: Bsp 7.27 #9";
    1.14  
    1.15  *} ML {*
    1.16 +nxt
    1.17 +*} ML {*
    1.18  (*val nxt = (+, Subproblem ("Biegelinie", ["normalise", ..lin..sys]))*)
    1.19  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.20  *} ML {*