equal
deleted
inserted
replaced
30 [("#Given" ,["realTestGiven g_"]), |
30 [("#Given" ,["realTestGiven g_"]), |
31 ("#Find" ,["realTestFind f_"]) |
31 ("#Find" ,["realTestFind f_"]) |
32 ], |
32 ], |
33 e_rls, NONE, [])); |
33 e_rls, NONE, [])); |
34 |
34 |
35 store_pbts |
35 Test_KEStore_Elems.add_pbts |
36 [prep_pbt Test.thy "pbl_testss" [] e_pblID |
36 [prep_pbt Test.thy "pbl_testss" [] e_pblID |
37 (["tests"], []:(string * string list) list, e_rls, NONE, []), |
37 (["tests"], []:(string * string list) list, e_rls, NONE, []), |
38 prep_pbt Test.thy "pbl_testss_term" [] e_pblID |
38 prep_pbt Test.thy "pbl_testss_term" [] e_pblID |
39 (["met_testterm","tests"], |
39 (["met_testterm","tests"], |
40 [("#Given" ,["realTestGiven g_"]), |
40 [("#Given" ,["realTestGiven g_"]), |
107 (["met_testeq","tests"], |
107 (["met_testeq","tests"], |
108 [("#Given" ,["boolTestGiven e_e"]), |
108 [("#Given" ,["boolTestGiven e_e"]), |
109 ("#Find" ,["boolTestFind v_i_"]) |
109 ("#Find" ,["boolTestFind v_i_"]) |
110 ], |
110 ], |
111 e_rls, NONE, [])); |
111 e_rls, NONE, [])); |
112 store_pbts |
112 Test_KEStore_Elems.add_pbts |
113 [prep_pbt Test.thy "pbl_testss_eq" [] e_pblID |
113 [prep_pbt Test.thy "pbl_testss_eq" [] e_pblID |
114 (["met_testeq","tests"], |
114 (["met_testeq","tests"], |
115 [("#Given" ,["boolTestGiven e_e"]), |
115 [("#Given" ,["boolTestGiven e_e"]), |
116 ("#Find" ,["boolTestFind v_i_"])], |
116 ("#Find" ,["boolTestFind v_i_"])], |
117 e_rls, NONE, [])] |
117 e_rls, NONE, [])] |