test/Tools/isac/Knowledge/diff.sml
branchisac-update-Isa09-2
changeset 38034 928cebc9c4aa
parent 38031 460c24a6a6ba
child 38045 ac0f6fd8d129
equal deleted inserted replaced
38033:491b133d154a 38034:928cebc9c4aa
    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 ("Groups.plus_class.plus",eval_binop "#add_"),
    72 		     Calc ("Groups.plus_class.plus",eval_binop "#add_"),
    73 		     Calc ("op *",eval_binop "#mult_"),
    73 		     Calc ("Groups.times_class.times",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_"),
    78 		     
    78