nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 16:15:56 +0100] rev 208

Manually lifted Map_Append.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 15:00:15 +0100] rev 207

Merged

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 14:59:00 +0100] rev 206

Fixed APPLY_RSP vs Cong in the InjRepAbs tactic.

Christian Urban <urbanc@in.tum.de> [Tue, 27 Oct 2009 14:46:38 +0100] rev 205

tuned

Christian Urban <urbanc@in.tum.de> [Tue, 27 Oct 2009 14:15:40 +0100] rev 204

merged

Christian Urban <urbanc@in.tum.de> [Tue, 27 Oct 2009 14:14:30 +0100] rev 203

added equiv-thm to the quot_info

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 12:20:57 +0100] rev 202

Simplifying FSet with new functions.

Christian Urban <urbanc@in.tum.de> [Tue, 27 Oct 2009 11:43:02 +0100] rev 201

added an example about lambda-terms

Christian Urban <urbanc@in.tum.de> [Tue, 27 Oct 2009 11:27:53 +0100] rev 200

made quotients compatiple with Nominal; updated keyword file

Christian Urban <urbanc@in.tum.de> [Tue, 27 Oct 2009 11:03:38 +0100] rev 199

merged

nominal2