Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:58:28 +0100] rev 410
removed CHANGED'
Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:55:56 +0100] rev 409
introduced a separate lemma for id_simps
Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:45:54 +0100] rev 408
renamed inj_REPABS to inj_repabs_trm
Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:44:11 +0100] rev 407
tuned comments and moved slightly some code
Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:35:50 +0100] rev 406
deleted obsolete qenv code
Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:23:49 +0100] rev 405
renamed REGULARIZE to be regularize
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 21:16:59 +0100] rev 404
more tuning
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 21:04:17 +0100] rev 403
deleted get_fun_old and stuff
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 21:01:53 +0100] rev 402
recommited changes of comments
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 20:32:56 +0100] rev 401
Merge Again
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 20:32:33 +0100] rev 400
Merged
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 20:18:36 +0100] rev 399
tuned comments
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 19:51:31 +0100] rev 398
some diagnostic code for r_mk_comb
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
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 13:52:46 +0100] rev 396
fixed QuotList