1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Mon Sep 06 16:56:22 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Mon Sep 06 17:07:28 2010 +0200
     1.3 @@ -334,8 +334,8 @@
     1.4      (*...copied from stac2tac_*)
     1.5      str2term 
     1.6  	"SubProblem (EqSystem_, [linear, system], [no_met])\
     1.7 - \            [bool_list_ [c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2],\
     1.8 - \             real_list_ [c, c_2]]";
     1.9 + \            [BOOL_LIST [c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2],\
    1.10 + \             REAL_LIST [c, c_2]]";
    1.11  val ags = isalist2list ags';
    1.12  val pI = ["linear","system"];
    1.13  val pats = (#ppc o get_pbt) pI;
    1.14 @@ -355,8 +355,8 @@
    1.15      (*...copied from stac2tac_*)
    1.16      str2term 
    1.17  	"SubProblem (EqSystem_, [linear, system], [no_met])\
    1.18 - \            [bool_list_ [c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2],\
    1.19 - \             real_list_ [c, c_2], bool_list_ ss___]";
    1.20 + \            [BOOL_LIST [c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2],\
    1.21 + \             REAL_LIST [c, c_2], BOOL_LIST ss___]";
    1.22  val ags = isalist2list ags';
    1.23  val pI = ["linear","system"];
    1.24  val pats = (#ppc o get_pbt) pI;
    1.25 @@ -378,7 +378,7 @@
    1.26      (*...copied from stac2tac_*)
    1.27      str2term 
    1.28  	"SubProblem (EqSystem_, [linear, system], [no_met])\
    1.29 - \            [real_list_ [c, c_2]]";
    1.30 + \            [REAL_LIST [c, c_2]]";
    1.31  val ags = isalist2list ags';
    1.32  val pI = ["linear","system"];
    1.33  val pats = (#ppc o get_pbt) pI;
    1.34 @@ -398,7 +398,7 @@
    1.35      (*...copied from stac2tac_*)
    1.36      str2term 
    1.37  	"SubProblem (Test_,[univariate,equation,test],\
    1.38 - \                    [no_met]) [bool_ (x+1=2), real_ x]";
    1.39 + \                    [no_met]) [BOOL (x+1=2), REAL x]";
    1.40  val ags = isalist2list ags';
    1.41  val pI = ["univariate","equation","test"];
    1.42  val pats = (#ppc o get_pbt) pI;