2009-11-26 tuned comments
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 20:18:36 +0100] rev 399
tuned comments
2009-11-26 some diagnostic code for r_mk_comb
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 19:51:31 +0100] rev 398
some diagnostic code for r_mk_comb
2009-11-26 introduced a new property for Ball and ===> on the left
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 16:23:24 +0100] rev 397
introduced a new property for Ball and ===> on the left
2009-11-26 fixed QuotList
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 13:52:46 +0100] rev 396
fixed QuotList
2009-11-26 changed left-res
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 13:46:00 +0100] rev 395
changed left-res
2009-11-26 Manually regularized akind_aty_atrm.induct
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 12:21:47 +0100] rev 394
Manually regularized akind_aty_atrm.induct
2009-11-26 Playing with Monos in LFex.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 10:52:24 +0100] rev 393
Playing with Monos in LFex.
2009-11-26 Fixed FSet after merge.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 10:32:31 +0100] rev 392
Fixed FSet after merge.
2009-11-26 merged
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 03:18:38 +0100] rev 391
merged
2009-11-26 test with monos
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 02:31:00 +0100] rev 390
test with monos
2009-11-25 applic_prs
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 21:48:32 +0100] rev 389
applic_prs
2009-11-25 polishing
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 15:43:12 +0100] rev 388
polishing
2009-11-25 reordered the code
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 15:20:10 +0100] rev 387
reordered the code
2009-11-25 Moved exception handling to QuotMain and cleaned FSet.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:25:29 +0100] rev 386
Moved exception handling to QuotMain and cleaned FSet.
2009-11-25 Merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:16:33 +0100] rev 385
Merge
2009-11-25 Finished manual lifting of list_induct_part :)
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:15:34 +0100] rev 384
Finished manual lifting of list_induct_part :)
2009-11-25 comments tuning and slight reordering
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 12:27:28 +0100] rev 383
comments tuning and slight reordering
2009-11-25 Merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:59:49 +0100] rev 382
Merge
2009-11-25 More moving from QuotMain to UnusedQuotMain
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:58:56 +0100] rev 381
More moving from QuotMain to UnusedQuotMain
2009-11-25 deleted some obsolete diagnostic code
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 11:46:59 +0100] rev 380
deleted some obsolete diagnostic code
2009-11-25 Removed unused things from QuotMain.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:41:42 +0100] rev 379
Removed unused things from QuotMain.
2009-11-25 All examples work again.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 10:52:21 +0100] rev 378
All examples work again.
2009-11-25 cleaning in MyInt
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 10:39:53 +0100] rev 377
cleaning in MyInt
2009-11-25 lambda_prs and cleaning the existing examples.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 10:34:03 +0100] rev 376
lambda_prs and cleaning the existing examples.
2009-11-25 merged
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 03:47:07 +0100] rev 375
merged
2009-11-25 fixed the problem with generalising variables; at the moment it is quite a hack
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 03:45:44 +0100] rev 374
fixed the problem with generalising variables; at the moment it is quite a hack
2009-11-24 Ho-matching failures...
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 20:13:16 +0100] rev 373
Ho-matching failures...
2009-11-24 changed unification to matching
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 19:09:29 +0100] rev 372
changed unification to matching
(0) -300 -100 -50 -28 +28 +50 +100 +300 +1000 tip