| 2009-12-26 | Christian Urban | generalised absrep function; needs consolidation | file | diff | annotate |
| 2009-12-19 | Christian Urban | on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file | file | diff | annotate |
| 2009-12-19 | Christian Urban | renamed "quotient" command to "quotient_type"; needs new keyword file to be installed | file | diff | annotate |
| 2009-12-11 | Cezary Kaliszyk | Renaming | file | diff | annotate |
| 2009-12-11 | Christian Urban | added Int example from Larry | file | diff | annotate |
| 2009-12-11 | Cezary Kaliszyk | More theorem renaming. | file | diff | annotate |
| 2009-12-11 | Cezary Kaliszyk | Renamed theorems in IntEx2 to conform to names in Int. | file | diff | annotate |
| 2009-12-11 | Cezary Kaliszyk | New syntax for definitions. | file | diff | annotate |