| Tue, 27 Oct 2009 14:59:00 +0100 | Cezary Kaliszyk | Fixed APPLY_RSP vs Cong in the InjRepAbs tactic. | file | diff | annotate |
| Tue, 27 Oct 2009 14:46:38 +0100 | Christian Urban | tuned | file | diff | annotate |
| Tue, 27 Oct 2009 14:14:30 +0100 | Christian Urban | added equiv-thm to the quot_info | file | diff | annotate |
| Tue, 27 Oct 2009 11:27:53 +0100 | Christian Urban | made quotients compatiple with Nominal; updated keyword file | file | diff | annotate |