| 2011-07-24 | Cezary Kaliszyk | update to 'termination (eqvt)'. | file | diff | annotate |
| 2011-07-11 | Cezary Kaliszyk | use eqvt_at_perm | file | diff | annotate |
| 2011-07-11 | Cezary Kaliszyk | Experiment with permuting eqvt_at | file | diff | annotate |
| 2011-06-24 | Cezary Kaliszyk | Theory name changes for JEdit | file | diff | annotate |