nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 15:11:41 +0100] rev 1309

Working bv_eqvt

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 15:10:47 +0100] rev 1308

Moving wrappers out of Lift.

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 15:07:27 +0100] rev 1307

merged

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 15:05:50 +0100] rev 1306

added distinctness of perms

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 15:05:35 +0100] rev 1305

updated (added lemma about commuting permutations)

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 14:51:40 +0100] rev 1304

Change type schemes to name set.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 14:24:57 +0100] rev 1303

More fixes for new alpha, the whole lift script should now work again.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 13:28:54 +0100] rev 1302

Length fix for nested recursions.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 12:28:07 +0100] rev 1301

Fix equivp.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 11:04:49 +0100] rev 1300

Fixed eqvt code.

nominal2