nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 30 Oct 2009 15:30:33 +0100] rev 244

not sure what changed here

Christian Urban <urbanc@in.tum.de> [Fri, 30 Oct 2009 15:28:44 +0100] rev 243

added fv-function

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 15:22:59 +0100] rev 242

The proper real_alpha

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 14:25:37 +0100] rev 241

Finding applications and duplicates filtered out in abstractions

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 12:22:03 +0100] rev 240

Cleaning also in Lam

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 11:25:29 +0100] rev 239

Cleaning of the interface to lift.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Oct 2009 17:35:03 +0100] rev 238

Tried manually lifting real_alpha

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Oct 2009 13:30:11 +0100] rev 237

More tests in Lam

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Oct 2009 13:29:03 +0100] rev 236

Cleaning of 'map id' and 'prod_fun id id' in lower_defs.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Oct 2009 12:09:31 +0100] rev 235

Using subst for identity definition.

nominal2