]>
2018-05-30 | acondolu | get_subterm_with_head_and_args goes under lambdas | blob | commitdiff | raw |
2018-05-30 | acondolu | Removed useless `isdiv' flag | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Clean-up to examples. Removed tests. | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Simple algorithm by Andrea | blob | commitdiff | raw | diff to current |