| 2009-12-24 | Christian Urban | made the quotient_type definition more like typedef; now type variables need to be explicitly given | file | diff | annotate |
| 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 |