| 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 |
| 2009-11-02 | Cezary Kaliszyk | Fixes after optimization and preparing for a general FORALL_PRS | file | diff | annotate |
| 2009-10-30 | Cezary Kaliszyk | Cleaning of the interface to lift. | file | diff | annotate |
| 2009-10-28 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |
| 2009-10-28 | Cezary Kaliszyk | Cleaning the unnecessary theorems in 'IntEx'. | file | diff | annotate |