equal
deleted
inserted
replaced
737 then () else error "inst_abs changed"; |
737 then () else error "inst_abs changed"; |
738 |
738 |
739 val {scr = Prog original, ...} = get_met ["Equation","fromFunction"]; |
739 val {scr = Prog original, ...} = get_met ["Equation","fromFunction"]; |
740 val Const ("Equation.Function2Equality", _) $ Free ("fu_n", _) $ Free ("su_b", _) $ scr'_body = scr' |
740 val Const ("Equation.Function2Equality", _) $ Free ("fu_n", _) $ Free ("su_b", _) $ scr'_body = scr' |
741 ; |
741 ; |
742 if scr'_body = Lucin.body_of original then () else error "inst_abs changed"; |
742 if scr'_body = LTool.body_of original then () else error "inst_abs changed"; |