| 2009-12-05 | Christian Urban | made some slight simplifications to the examples | file | diff | annotate |
| 2009-12-05 | Christian Urban | added three examples to IntEx for testing ideas - regularisation and injection seem to be not quite right yet | file | diff | annotate |
| 2009-12-04 | Christian Urban | not yet quite functional treatment of constants | file | diff | annotate |
| 2009-12-04 | Cezary Kaliszyk | More code cleaning and renaming: moved rsp and prs lemmas from Int to QuotList | file | diff | annotate |