| 2009-11-05 | Christian Urban | replaced check_term o parse_term by read_term | file | diff | annotate |
| 2009-11-05 | Christian Urban | merged | file | diff | annotate |
| 2009-11-04 | Christian Urban | more tuning | file | diff | annotate |
| 2009-11-04 | Christian Urban | slightly tuned | file | diff | annotate |
| 2009-11-04 | Christian Urban | separated the quotient_def into a separate file | file | diff | annotate |