| 2009-12-23 | Christian Urban | corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file | file | diff | annotate |
| 2009-12-22 | Christian Urban | renamed get_fun to absrep_fun; introduced explicit checked versions of the term functions | file | diff | annotate |
| 2009-12-22 | Christian Urban | tuned | file | diff | annotate |
| 2009-12-22 | Christian Urban | moved get_fun into quotient_term; this simplifies the overall including structure of the package | file | diff | annotate |
| 2009-12-19 | Christian Urban | avoided global "open"s - replaced by local "open"s | file | diff | annotate |
| 2009-12-19 | Christian Urban | small tuning | file | diff | annotate |
| 2009-12-19 | Christian Urban | various tunings; map_lookup now raises an exception; addition to FIXME-TODO | file | diff | annotate |
| 2009-12-17 | Christian Urban | moved the QuotMain code into two ML-files | file | diff | annotate |