wneuper/isa: comparison test/Tools/isac/Interpret/rewtools.sml

equal deleted inserted replaced

-:e4f42a63d665
+:3e11e3c2dc42
 "----------- fun is_contained_in ---------------------------------";
 val r1 = Thm ("real_diff_minus",num_str @{thm real_diff_minus});
 if contains_rule r1 Test_simplify then ()
 else raise error "rewtools.sml contains_rule Thm";
-val r1 = Calc ("op +", eval_binop "#add_");
+val r1 = Calc ("Groups.plus_class.plus", eval_binop "#add_");
 if contains_rule r1 Test_simplify then ()
 else raise error "rewtools.sml contains_rule Calc";
-val r1 = Calc ("op -", eval_binop "#add_");
+val r1 = Calc ("Groups.minus_class.minus", eval_binop "#add_");
 if not (contains_rule r1 Test_simplify) then ()
 else raise error "rewtools.sml contains_rule Calc";