nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 08 Dec 2009 23:04:40 +0100] rev 651

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 08 Dec 2009 23:04:25 +0100] rev 650

manually cleaned the hard lemma.

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 22:26:01 +0100] rev 649

merged

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 22:24:24 +0100] rev 648

decoupled QuotProd from QuotMain and also started new cleaning strategy

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 08 Dec 2009 22:05:01 +0100] rev 647

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 08 Dec 2009 22:03:34 +0100] rev 646

An example which is hard to lift because of the interplay between lambda_prs and unfolding.

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 22:02:14 +0100] rev 645

proper formulation of all preservation theorems

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 20:55:55 +0100] rev 644

started to reformulate preserve lemmas

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 20:34:00 +0100] rev 643

properly set up the prs_rules

Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 17:43:32 +0100] rev 642

merged

nominal2