nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 15:48:38 +0100] rev 220

updated all definitions

Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 15:25:36 +0100] rev 219

merged

Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 15:25:11 +0100] rev 218

added infrastructure for defining lifted constants

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 14:59:24 +0100] rev 217

First experiments with Lambda

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 12:22:06 +0100] rev 216

Fixed mistake in const generation, will postpone this.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 10:29:00 +0100] rev 215

More finshed proofs and cleaning

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.

nominal2