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.
Christian Urban <urbanc@in.tum.de> [Wed, 02 Dec 2009 16:12:41 +0100] rev 484
merged
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Dec 2009 14:37:21 +0100] rev 483
Lifting to 2 different types :)
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Dec 2009 14:11:46 +0100] rev 482
New APPLY_RSP which finally does automatic partial lifting :). Doesn't support same relation yet.