ajpastor/diff_defined_functions.git
2018-04-19 Antonio Jimenez... Added the README file to the repository.
2018-04-18 Antonio Jimenez... Added an heuristic zero testing for Lazy Elements.
2018-03-09 Antonio Jimenez... New version of the packages.
2018-03-08 Antonio Jimenez... some version
2018-03-08 Antonio Jimenez... Setting up the public repository for the SAGE implement...