equal
deleted
inserted
replaced
1637 map (prt_fact) (Library.drop (len - limit, matches))) |> |
1637 map (prt_fact) (Library.drop (len - limit, matches))) |> |
1638 Pretty.chunks |> Pretty.writeln |
1638 Pretty.chunks |> Pretty.writeln |
1639 end; |
1639 end; |
1640 |
1640 |
1641 end; |
1641 end; |
1642 |
|