nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 15:20:10 +0100] rev 387

reordered the code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:25:29 +0100] rev 386

Moved exception handling to QuotMain and cleaned FSet.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:16:33 +0100] rev 385

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:15:34 +0100] rev 384

Finished manual lifting of list_induct_part :)

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 12:27:28 +0100] rev 383

comments tuning and slight reordering

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:59:49 +0100] rev 382

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:58:56 +0100] rev 381

More moving from QuotMain to UnusedQuotMain

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 11:46:59 +0100] rev 380

deleted some obsolete diagnostic code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:41:42 +0100] rev 379

Removed unused things from QuotMain.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 10:52:21 +0100] rev 378

All examples work again.

nominal2