nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 10:17:07 +0100] rev 214

Proof of append_rsp

Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 01:49:31 +0100] rev 213

merged

Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 01:48:45 +0100] rev 212

added a function for matching types

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 18:05:45 +0100] rev 211

Manual conversion of equality to equivalence allows lifting append_assoc.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 18:02:35 +0100] rev 210

Simplfied interface to repabs_injection.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 17:08:47 +0100] rev 209

map_append lifted automatically.

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

nominal2