| 2010-02-11 | Cezary Kaliszyk | Main renaming + fixes for new Isabelle in IntEx2. | file | diff | annotate |
| 2010-02-10 | Christian Urban | merged | file | diff | annotate |
| 2010-01-24 | Christian Urban | test with splits | file | diff | annotate |
| 2010-01-23 | Cezary Kaliszyk | More experiments with defining the homomorphism directly, lifting of 'distinct' and of 'exhaust'. | file | diff | annotate |