nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:06:19 +0100] rev 222

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:05:59 +0100] rev 221

Fixes

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

nominal2