equal
deleted
inserted
replaced
12 ; |
12 ; |
13 if length (Test_KEStore_Elems.get_rlss @{theory}) = length (! test_ruleset') then () |
13 if length (Test_KEStore_Elems.get_rlss @{theory}) = length (! test_ruleset') then () |
14 else error "removal of Unsynchonized.ref: ruleset' <> Test_KEStore_Elems.get_rlss in Thy_1"*) |
14 else error "removal of Unsynchonized.ref: ruleset' <> Test_KEStore_Elems.get_rlss in Thy_1"*) |
15 \<close> |
15 \<close> |
16 |
16 |
17 setup \<open>Test_KEStore_Elems.add_calcs [("calc", ("Thy_1", Eval_Def.ml_fun_empty))]\<close> |
17 setup \<open>Test_KEStore_Elems.add_calcs [("calc", ("Thy_1", Eval.ml_fun_empty))]\<close> |
18 |
18 |
19 end |
19 end |