| 2009-11-03 | Christian Urban | simplified the quotient_def code; type of the defined constant must now be given; for-part eliminated | file | diff | annotate |
| 2009-11-02 | Christian Urban | slightly saner way of parsing the quotient_def | file | diff | annotate |
| 2009-11-02 | Christian Urban | merged | file | diff | annotate |
| 2009-11-02 | Christian Urban | changed Type.typ_match to Sign.typ_match | file | diff | annotate |