1.1 --- a/test/Tools/isac/Specify/o-model.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Specify/o-model.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -257,7 +257,7 @@
     1.4  val pbt = [("#Given", (@{term "equality"}, @{term "e_e :: bool"})),
     1.5         ("#Given", (@{term "solveFor"}, @{term "v_v :: real"} ))];
     1.6  (*the model specific for an example*)
     1.7 -val oris = [([1], "#Given", @{term "equality"} , [TermC.str2term "x+1= 2"]),
     1.8 +val oris = [([1], "#Given", @{term "equality"} , [TermC.parse_test @{context} "x+1= 2"]),
     1.9  	([1], "#Given", @{term "solveFor"} , [@{term "x :: real"} ])];
    1.10  val cy = [("#Find", (@{term "solutions"}, @{term "v_v'i' :: bool list"}))];
    1.11  (*...all must be true*)
    1.12 @@ -274,7 +274,7 @@
    1.13  val pbt = [("#Given", (@{term "equalities"}, @{term "e_s :: bool list"})),
    1.14         ("#Given", (@{term "solveForVars v_s"}, @{term "v_s :: bool list"} ))];
    1.15  (*the model specific for an example*)
    1.16 -val oris = [([1], "#Given", @{term "equalities"} ,[TermC.str2term "[x_1+1=2,x_2=0]"]),
    1.17 +val oris = [([1], "#Given", @{term "equalities"} ,[TermC.parse_test @{context} "[x_1+1=2,x_2=0]"]),
    1.18      ([1], "#Given", @{term "solveForVars"} , [@{term "[x_1,x_2]::real list"}])];
    1.19  val cy = [("#Find", (@{term "solution"}, @{term "ss''' :: bool list"}))
    1.20          (*could be more than 1*)];