nominal2: Changelog

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

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 08:48:35 +0100] rev 1297

Add a check of fv_functions.

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 08:43:53 +0100] rev 1296

some tuning

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 08:42:10 +0100] rev 1295

Link calls to Raw permutations, FV definition and alpha_definition into the parser.

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 06:43:09 +0100] rev 1294

merged

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 06:42:43 +0100] rev 1293

rawified the bind specs (ready to be used now)

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Mar 2010 21:50:40 +0100] rev 1292

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Mar 2010 21:50:24 +0100] rev 1291

Trying to prove equivariance.

Christian Urban <urbanc@in.tum.de> [Mon, 01 Mar 2010 19:23:08 +0100] rev 1290

modified for new binding format - hope it is the intended one

Christian Urban <urbanc@in.tum.de> [Mon, 01 Mar 2010 16:55:41 +0100] rev 1289

further code-refactoring in the parser

nominal2