nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 19:36:52 +0100] rev 229

fixed the definition of alpha; this *breaks* some of the experiments

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 18:08:38 +0100] rev 228

disambiguate ===> syntax

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 17:38:37 +0100] rev 227

More cleaning in Lam code

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

cleaned FSet

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:48:57 +0100] rev 225

Some cleaning

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

Cleaning the unnecessary theorems in 'IntEx'.

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

Fix also in the general procedure.

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

nominal2