test/Tools/isac/Knowledge/diff.sml
branchisac-update-Isa09-2
changeset 38014 3e11e3c2dc42
parent 37994 eb4c556a525b
child 38031 460c24a6a6ba
equal deleted inserted replaced
38013:e4f42a63d665 38014:3e11e3c2dc42
    67 		     
    67 		     
    68 		     Calc ("Atools.is'_const",eval_const "#is_const_"),
    68 		     Calc ("Atools.is'_const",eval_const "#is_const_"),
    69 		     Calc ("Atools.occurs'_in", eval_occurs_in ""),
    69 		     Calc ("Atools.occurs'_in", eval_occurs_in ""),
    70 		     Calc ("Tools.matches",eval_matches ""),
    70 		     Calc ("Tools.matches",eval_matches ""),
    71 		     
    71 		     
    72 		     Calc ("op +",eval_binop "#add_"),
    72 		     Calc ("Groups.plus_class.plus",eval_binop "#add_"),
    73 		     Calc ("op *",eval_binop "#mult_"),
    73 		     Calc ("op *",eval_binop "#mult_"),
    74 		     Calc ("Atools.pow" ,eval_binop "#power_"),
    74 		     Calc ("Atools.pow" ,eval_binop "#power_"),
    75 		     
    75 		     
    76 		     Calc ("op <",eval_equ "#less_"),
    76 		     Calc ("op <",eval_equ "#less_"),
    77 		     Calc ("op <=",eval_equ "#less_equal_"),
    77 		     Calc ("op <=",eval_equ "#less_equal_"),