nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 03 Dec 2009 11:34:34 +0100] rev 494

merged

Christian Urban <urbanc@in.tum.de> [Thu, 03 Dec 2009 11:33:24 +0100] rev 493

deleted some dead code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 03 Dec 2009 11:28:19 +0100] rev 492

Included all_prs and ex_prs in the lambda_prs conversion.

Christian Urban <urbanc@in.tum.de> [Thu, 03 Dec 2009 02:53:54 +0100] rev 491

further simplification

Christian Urban <urbanc@in.tum.de> [Thu, 03 Dec 2009 02:18:21 +0100] rev 490

simplified lambda_prs_conv

Christian Urban <urbanc@in.tum.de> [Wed, 02 Dec 2009 23:31:30 +0100] rev 489

deleted now obsolete argument rty everywhere

Christian Urban <urbanc@in.tum.de> [Wed, 02 Dec 2009 23:11:50 +0100] rev 488

deleted tests at the beginning of QuotMain

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Dec 2009 20:54:59 +0100] rev 487

Experiments with OPTION_map

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Dec 2009 17:16:44 +0100] rev 486

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Dec 2009 17:15:36 +0100] rev 485

More experiments with higher order quotients and theorems with non-lifted constants.

nominal2