1.1 --- a/test/Tools/isac/ProgLang/calculate.thy	Tue Apr 21 12:26:08 2020 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/calculate.thy	Tue Apr 21 15:42:50 2020 +0200
     1.3 @@ -18,8 +18,8 @@
     1.4  \<close>
     1.5  
     1.6  setup \<open>KEStore_Elems.add_pbts
     1.7 -  [Specify.prep_pbt @{theory "Test"} "pbl_ttest" [] Celem.e_pblID (["test"], [], Rule_Set.empty, NONE, []),
     1.8 -    Specify.prep_pbt @{theory "Test"} "pbl_ttest_calc" [] Celem.e_pblID
     1.9 +  [Specify.prep_pbt @{theory "Test"} "pbl_ttest" [] Spec.e_pblID (["test"], [], Rule_Set.empty, NONE, []),
    1.10 +    Specify.prep_pbt @{theory "Test"} "pbl_ttest_calc" [] Spec.e_pblID
    1.11        (["calculate", "test"],
    1.12          [("#Given", ["realTestGiven t_t"]),
    1.13           ("#Find", ["realTestFind s_s"])],
    1.14 @@ -34,7 +34,7 @@
    1.15       (Try (Repeat (Calculate ''DIVIDE''))) #>
    1.16       (Try (Repeat (Calculate ''POWER''))))) t_t"
    1.17  setup \<open>KEStore_Elems.add_mets
    1.18 -  [Specify.prep_met (@{theory "Test"}) "met_testcal" [] Celem.e_metID
    1.19 +  [Specify.prep_met (@{theory "Test"}) "met_testcal" [] Spec.e_metID
    1.20        (["Test","test_calculate"],
    1.21          [("#Given" , ["realTestGiven t_t"]), ("#Find", ["realTestFind s_s"])],
    1.22          {rew_ord'="sqrt_right",rls'=tval_rls,srls = Rule_Set.empty, prls = Rule_Set.empty,