equal
deleted
inserted
replaced
551 "-------- fun get_fun_ids ----------------------------------------------------"; |
551 "-------- fun get_fun_ids ----------------------------------------------------"; |
552 "-------- fun get_fun_ids ----------------------------------------------------"; |
552 "-------- fun get_fun_ids ----------------------------------------------------"; |
553 "-------- fun get_fun_ids ----------------------------------------------------"; |
553 "-------- fun get_fun_ids ----------------------------------------------------"; |
554 val met_fun_ids = get_fun_ids @{theory Biegelinie}; |
554 val met_fun_ids = get_fun_ids @{theory Biegelinie}; |
555 if map fst (get_fun_ids @{theory Biegelinie}) = |
555 if map fst (get_fun_ids @{theory Biegelinie}) = |
556 ["Biegelinie.Biegelinie2Script", "Biegelinie.Belastung2BiegelScript", |
556 ["Biegelinie.function_to_equality", "Biegelinie.biegelinie", "Biegelinie.belastung_zu_biegelinie", |
557 "Biegelinie.SetzeRandbedScript"] then () else error "get_fun_ids changed" |
557 "Biegelinie.setzte_randbedingungen"] then () else error "get_fun_ids changed" |