nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 16 Dec 2009 14:26:14 +0100] rev 756

first fix

Christian Urban <urbanc@in.tum.de> [Wed, 16 Dec 2009 14:09:03 +0100] rev 755

merged

Christian Urban <urbanc@in.tum.de> [Wed, 16 Dec 2009 14:08:42 +0100] rev 754

added a paper for possible notes

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 16 Dec 2009 12:15:41 +0100] rev 753

Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Dec 2009 16:40:00 +0100] rev 752

lambda_prs & solve_quotient_assum cleaned.

Christian Urban <urbanc@in.tum.de> [Tue, 15 Dec 2009 15:38:17 +0100] rev 751

some commenting

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Dec 2009 14:24:08 +0100] rev 750

Fixed previous commit.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Dec 2009 13:59:08 +0100] rev 749

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Dec 2009 13:58:51 +0100] rev 748

Moved DETERM inside Repeat & added SOLVE around quotient_tac.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Dec 2009 13:57:39 +0100] rev 747

merge.

nominal2