equal
deleted
inserted
replaced
252 end |
252 end |
253 else |
253 else |
254 "" |
254 "" |
255 |
255 |
256 fun accum x (yss as ys :: _) = (x :: ys) :: yss |
256 fun accum x (yss as ys :: _) = (x :: ys) :: yss |
257 val old_factss = tl (fold accum new_facts [old_facts]) |
257 val old_factss = tl (fold accum new_facts [rev old_facts]) |
258 val lines = Par_List.map do_fact (tag_list 1 (new_facts ~~ rev old_factss)) |
258 val lines = Par_List.map do_fact (tag_list 1 (new_facts ~~ rev (map rev old_factss))) |
259 in |
259 in |
260 File.write_list path lines |
260 File.write_list path lines |
261 end |
261 end |
262 |
262 |
263 val generate_mepo_suggestions = |
263 val generate_mepo_suggestions = |